Table of Contents
inflate - produces a bigger equivalent automaton
inflate states
inflate produces a bigger automaton with the desired number
of states that recognizes the same language as the original automaton. The
automaton is read from the standard input, and the resulting automaton
is printed on the standard output. Both are in the format of Gertjan van
Noord's fsa program.
- states
- the number of states in the new automaton.
Note that it must be bigger than the number of states in the original automaton
(this is not a minimization program).
- OK
- invalid arguments.
minimize(1)
, genaut(1)
. Also see the page http://www.eti.pg.gda.pl/~jandac/minim.html
Only cyclic automata can be inflated to an arbitrary size. Send bug
reports to the author: Jan Daciuk, jjaannddaacc@eti.pg.gda.pl (correct the stuttering)
Table of Contents