gfsmarith - Perform an elementary arithmetic operation on automaton weights
gfsmarith [OPTIONS] FSMFILE
Arguments:
FSMFILE Stored binary gfsm file
Options
-h --help Print help and exit.
-V --version Print version and exit.
-zLEVEL --compress=LEVEL Specify compression level of output file.
-FFILE --output=FILE Specifiy output file (default=stdout).
Operator Selection
-E --exp Real exponentiation
-L --log Real logarithm
-mFLOAT --multiply=FLOAT Real multiplication by WEIGHT
-aFLOAT --add=FLOAT Real addition of WEIGHT
-p --positive Set real negative weights to zero
--times=FLOAT Semiring multiplication by WEIGHT
--plus=FLOAT Semiring addition of WEIGHT
--sr-positive Set semiring-negative weights to semiring-zero
Weight Selection
-A --no-arcs Exclude arc weights (default: include)
-f --no-finals Exclude final weights (default: include)
-Z --zero Include semiring-zero weights (default: exclude)
State & Label Selection
-i --initial Select only initial state and its arcs/finality
-sID --state=ID Select only state ID and its arcs/finality (default=all)
-lLO --lower=LO Select only arcs with lower-label LO (default=any)
-uHI --upper=HI Select only arcs with upper-label HI (defualt=any)
Perform an elementary arithmetic operation on automaton weights
FSMFILE
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'
--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: '-'
--exp
, -E
Real exponentiation
Default: '0'
--log
, -L
Real logarithm
Default: '0'
--multiply=FLOAT
, -mFLOAT
Real multiplication by WEIGHT
Default: '0'
--add=FLOAT
, -aFLOAT
Real addition of WEIGHT
Default: '0'
--positive
, -p
Set real negative weights to zero
Default: '0'
--times=FLOAT
Semiring multiplication by WEIGHT
Default: '0'
--plus=FLOAT
Semiring addition of WEIGHT
Default: '0'
--sr-positive
Set semiring-negative weights to semiring-zero
Default: '0'
--no-arcs
, -A
Exclude arc weights (default: include)
Default: '0'
--no-finals
, -f
Exclude final weights (default: include)
Default: '0'
--zero
, -Z
Include semiring-zero weights (default: exclude)
Default: '0'
--initial
, -i
Select only initial state and its arcs/finality
Default: '0'
--state=ID
, -sID
Select only state ID and its arcs/finality (default=all)
Default: '-1'
--lower=LO
, -lLO
Select only arcs with lower-label LO (default=any)
Default: '-1'
--upper=HI
, -uHI
Select only arcs with upper-label HI (defualt=any)
Default: '-1'
Documentation file auto-generated by optgen.perl version 0.07 using Getopt::Gen version 0.14. Translation was initiated as:
optgen.perl -l --no-handle-rcfile --nocfile --nohfile --notimestamp -F gfsmarith gfsmarith.gog
Note that the --plus and --times operations are sensitive to the semiring associated with the stored FSM file, while the --add and --multiply operations have the usual real-number interpretations, regardless of the automaton semiring.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow.bovine@gmail.com>