gfsmcomplement - Compute complement of finite state acceptors
gfsmcomplement [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. -iLABELS --ilabels=LABELS Specify input (lower) labels file for alphabet. -zLEVEL --compress=LEVEL Specify compression level of output file. -FFILE --output=FILE Specifiy output file (default=stdout).
Compute complement of finite state 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'
--rcfile=FILE
, -cFILE
Read an alternate configuration file.
Default: 'NULL'
See also: CONFIGURATION FILES.
--ilabels=LABELS
, -iLABELS
Specify input (lower) labels file for alphabet.
Default: 'NULL'
--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 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.
Documentation file auto-generated by optgen.perl version 0.05. Translation was initiated on Thu Feb 15 17:41:28 CET 2007 as:
/usr/local/bin/optgen.perl -l --nocfile --nohfile -F gfsmcomplement gfsmcomplement.gog
Epsilon arcs are not handled correctly.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow@ling.uni-potsdam.de>