NAME

gfsmminimize - Minimize finite state machines as (pair)-acceptors


SYNOPSIS

gfsmminimize [OPTIONS] BINFILE

 Arguments:
    BINFILE  Stored binary gfsm file
 Options
    -h       --help            Print help and exit.
    -V       --version         Print version and exit.
    -cFILE   --rcfile=FILE     Read an alternate configuration file.
    -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).


DESCRIPTION

Minimize finite state machines as (pair)-acceptors


ARGUMENTS

BINFILE

Stored binary gfsm file

If unspecified, standard input will be read


OPTIONS

--help , -h

Print help and exit.

Default: '0'

--version , -V

Print version and exit.

Default: '0'

--rcfile=FILE , -cFILE

Read an alternate configuration file.

Default: 'NULL'

See also: CONFIGURATION FILES.

--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: '-'


CONFIGURATION FILES

Configuration files are expected to contain lines of the form:

    LONG_OPTION_NAME    OPTION_VALUE

where LONG_OPTION_NAME is the long name of some option, without the leading '--', and OPTION_VALUE is the value for that option, if any. Fields are whitespace-separated. Blank lines and comments (lines beginning with '#') are ignored.

No configuration files are read by default.


ADDENDA

About this Document

Documentation file auto-generated by optgen.perl version 0.07 using Getopt::Gen version 0.13. Translation was initiated as:

   optgen.perl -l --nocfile --nohfile --notimestamp -F gfsmminimize gfsmminimize.gog


BUGS AND LIMITATIONS

Currently uses Brzozowski's (1963) minimization algorithm.

Input automaton must be minimizable.

Probably many more.


ACKNOWLEDGEMENTS

Perl by Larry Wall.

Getopt::Gen by Bryan Jurish.


AUTHOR

Bryan Jurish <moocow.bovine@gmail.com>


SEE ALSO

the gfsmutils manpage