Scroll to navigation

fstequivalent(1) User Commands fstequivalent(1)

NAME

fstequivalent - determine whether two DFAs are equivalent

SYNOPSIS

fstequivalent [OPTIONS] in1.fst in2.fst

DESCRIPTION

Determines whether two DFAs are equivalent. The exit status is zero for equivalent DFAs, and nonzero for nonequivalent DFAs.

OPTIONS

Boolean options accept either true or false as a value, or the implicit value true if neither value is specified.

Set the comparison/quantization delta. Default: 0.000976562.
Write FST data aligned where appropriate. Default: false.
Require symbol tables to match when appropriate. Default: true.
Enable garbage collection of cache. Default: true.
Set the cache byte size that triggers garbage collection. Default: 1048576.
If true, FST errors are fatal. Otherwise, returned objects are flagged as bad. For example, FSTs are returned with the kError property set to true, and FST weights set so that Member() returns false. Default: true.
Set the characters used as a separator between printed fields. Default: " ".
Set the default file reading mode for mappable files, either "read" or "map". Default: "read".
Verify fst properties queried by TestProperties. Default: false.
Set the characters enclosing the first weight of a printed composite weight (e.g., pair weight, tuple weight, and derived classes) to ensure proper I/O of nested composite weights. Must have size 0 (none) or 2 (open and close parenthesis). Default: no parentheses.
Set the character separator between printed composite weights. Default: comma.
Show usage information. Default: false.
Show brief usage information. Default: false.
Set the maximum path length. Default: 2147483647.
Set the number of paths to generate. Default: 1.
Test equivalence by randomly selecting paths in the input FSTs. Default: false.
Save input relabel pairs to file. Default: do not save.
Save output relabel pairs to file. Default: do not save.
Set the seed for the random number generator. Default: 1299098484.
Set the selection type, one of uniform, log_prob, or fast_log_prob. Default: uniform.
Set the temporary directory to use. Default: /tmp.
Set the verbosity level. Default: 0.

SEE ALSO

fstarcsort(1), fstclosure(1), fstcompile(1), fstcompose(1), fstcompress(1), fstconcat(1), fstconnect(1), fstconvert(1), fstdeterminize(1), fstdifference(1), fstdisambiguate(1), fstdraw(1), fstencode(1), fstepsnormalize(1), fstequal(1), fstinfo(1), fstintersect(1), fstinvert(1), fstisomorphic(1), fstlinear(1), fstloglinearapply(1), fstmap(1), fstminimize(1), fstprint(1), fstproject(1), fstprune(1), fstpush(1), fstrandgen(1), fstrelabel(1), fstreplace(1), fstreverse(1), fstreweight(1), fstrmepsilon(1), fstshortestdistance(1), fstshortestpath(1), fstsymbols(1), fstsynchronize(1), fsttopsort(1), fstunion(1)

Jul 2020 OpenFst 1.7.9