is-deterministic
determinize
is-deterministic
$> Cora is-deterministic aut
Parameter: aut: an automaton
true
if the automaton is deterministic,
false
otherwise.
0
if the automaton is
deterministic, 1
otherwise.
determinize
$> Cora determinize aut
Parameter: aut: an automaton
json
file,
it contains the history
;
if it is displayed with the display command,
history
can be displayed with option -H.
Graphviz
a1
a1det
a1det
with history
displayed