is-deterministic
determinize
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.
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
.
A notebook with call to determinization functions.