gfsmminimize - Minimize finite state machines as (pair)-acceptors
gfsmminimize [OPTIONS] BINFILE
Arguments: BINFILE Stored binary gfsm file
Options -h --help Print help and exit. -V --version Print version and exit. -D --deterministic Assume input automaton is deterministic. -E --epsilon Skip epsilon removal. -zLEVEL --compress=LEVEL Specify compression level of output file. -FFILE --output=FILE Specifiy output file (default=stdout).
Minimize finite state machines as (pair)-acceptors
BINFILE
Stored binary gfsm file
If unspecified, standard input will be read
--help
, -h
Print help and exit.
Default: '0'
--version
, -V
Print version and exit.
Default: '0'
--deterministic
, -D
Assume input automaton is deterministic.
Default: '0'
If specified, input will be assumed deterministic. Otherwise, the value of the 'is_deterministic' header flag is used.
--epsilon
, -E
Skip epsilon removal.
Default: '0'
If specified, epsilons will be treated like other symbols at all stages. Otherwise, epsilons will be removed (repeatedly).
--compress=LEVEL
, -zLEVEL
Specify compression level of output file.
Default: '-1'
Specify zlib compression level of output file. -1 (default) indicates the default compression level, 0 (zero) indicates no zlib compression at all, and 9 indicates the best possible compression.
--output=FILE
, -FFILE
Specifiy output file (default=stdout).
Default: '-'
Documentation file auto-generated by optgen.perl version 0.07 using Getopt::Gen version 0.13. Translation was initiated as:
optgen.perl -l --no-handle-rcfile --nocfile --nohfile --notimestamp -F gfsmminimize gfsmminimize.gog
Currently uses Brzozowski's (1963) minimization algorithm.
Input automaton must be minimizable.
Probably many more.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow.bovine@gmail.com>