Cora functions in the determinization module

  1. is-deterministic
  2. determinize

1. is-deterministic

$> Cora is-deterministic aut

Parameter:    aut: an automaton

Return value:    Print true if the automaton is deterministic, false otherwise.
The command exits with value 0 if the automaton is deterministic, 1 otherwise.
The printing can be disabled with option -V=false.

2. determinize

$> Cora determinize aut

Parameter:    aut: an automaton

Return value:    An automaton which is the determinization of aut.
If the result is printed as a json file, it contains the history; if it is displayed with the display command, history can be displayed with option -H.

Usage

Terminal capture

Results displayed with Graphviz

a1.png

automaton a1

a1.png

automaton a1det

a1.png

automaton a1det with history displayed