-
Notifications
You must be signed in to change notification settings - Fork 2
Command:minimize
John Nicol edited this page Oct 26, 2025
·
1 revision
One may minimize a Word Automaton using the "minimize" command, with the following syntax:
minimize <new> <old>
Results saved in: Result/, Word Automata Library/.
For example, if minimizing a word automaton "NOTMIN" saved in "Word Automata Library/NOTMIN.txt", one runs:
minimize MIN NOTMIN
The resulting automaton "MIN" will be a minimal Word Automaton equivalent to "NOTMIN", and will be saved in "Word Automata Library/".