Python functions in the determinization module

  1. is-deterministic
  2. determinize

1. is-deterministic

Function:
is_deterministic(aut)
Method of Automaton objects:
is_deterministic()

Parameter:    aut or self:  A Awali python automaton

Return value:    True if the automaton aut is deterministic; False otherwise.

2. determinize

Function:
determinize(aut)
Method of Automaton objects:
determinize()

Parameter:    aut or self:  A Awali python automaton

Return value:    An automaton which is the determinization of aut.

Usage

A notebook with call to determinization functions.