1fstequivalent(1)                 User Commands                fstequivalent(1)
2
3
4

NAME

6       fstequivalent - determine whether two DFAs are equivalent
7

SYNOPSIS

9       fstequivalent [OPTIONS] in1.fst in2.fst
10

DESCRIPTION

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

OPTIONS

16       Boolean options accept either true or false as a value, or the implicit
17       value true if neither value is specified.
18
19       --fst_compat_symbols[=BOOLEAN]
20              Require symbol tables to match when appropriate.  Default: true.
21
22       --fst_default_cache_gc[=BOOLEAN]
23              Enable garbage collection of cache.  Default: true.
24
25       --fst_verify_properties[=BOOLEAN]
26              Verify  fst  properties  queried  by  TestProperties.   Default:
27              false.
28
29       --help Show usage information.
30
31       --random[=BOOLEAN]
32              Test equivalence by randomly selecting paths in the input  FSTs.
33              Default: false.
34
35       --fst_field_separator=STRING
36              Set  the  characters used as a separator between printed fields.
37              Default: "     ".
38
39       --fst_weight_parentheses=STRING
40              Set the characters enclosing the first weight of a printed  com‐
41              posite  weight  (e.g.,  pair  weight,  tuple weight, and derived
42              classes) to ensure proper I/O of nested composite weights.  Must
43              have  size 0 (none) or 2 (open and close parenthesis).  Default:
44              no parentheses.
45
46       --fst_weight_separator=CHARACTER
47              Set the character separator between printed  composite  weights.
48              Default: comma.
49
50       --save_relabel_ipairs=FILENAME
51              Save input relabel pairs to file.  Default: do not save.
52
53       --save_relabel_opairs=FILENAME
54              Save output relabel pairs to file.  Default: do not save.
55
56       --select=TYPE
57              Set  the  selection  type, either uniform or log_prob.  Default:
58              uniform.
59
60       --tmpdir=PATHNAME
61              Set the temporary directory to use.  Default: /tmp.
62
63       --max_length=LENGTH
64              Set the maximum path length.  Default: 2147483647.
65
66       --npath=INTEGER
67              Set the number of paths to generate.  Default: 1.
68
69       --seed=INTEGER
70              Set  the  seed  for  the  random  number  generator.    Default:
71              1299098484.
72
73       --v[=N]
74              Set the verbosity level.  Default: 0.
75
76       --fst_default_cache_gc_limit=N
77              Set  the  cache  byte  size  that  triggers  garbage collection.
78              Default: 1048576.
79
80       --delta=VALUE
81              Set the comparison/quantization delta.  Default: 0.000976562.
82

SEE ALSO

84       fstarcsort(1),  fstclosure(1),  fstcompile(1),  fstcompose(1),  fstcon‐
85       cat(1),  fstconnect(1),  fstconvert(1),  fstdeterminize(1),  fstdiffer‐
86       ence(1),  fstdraw(1),  fstencode(1),  fstepsnormalize(1),  fstequal(1),
87       fstinfo(1),  fstintersect(1),  fstinvert(1), fstmap(1), fstminimize(1),
88       fstprint(1),  fstproject(1),  fstprune(1),  fstpush(1),  fstrandgen(1),
89       fstrelabel(1),  fstreplace(1),  fstreverse(1), fstreweight(1), fstrmep‐
90       silon(1),  fstshortestdistance(1),  fstshortestpath(1),  fstsymbols(1),
91       fstsynchronize(1), fsttopsort(1), fstunion(1)
92
93
94
95OpenFst 1.2.7                    February 2011                fstequivalent(1)