ocmin - automata minimization |
ocmin - automata minimization
ocmin file.oc [options]
This tool performs state equivalence checking to reduce the size of the automaton. It takes either oc2 or oc5 files, and outputs the minimized automaton in the same format version; the default output file is module-name_min.oc.
set verbose mode
define the output file (default is module-name_min.oc)
ocmin - automata minimization |