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

NAME

6       fstequivalent - manual page for fstequivalent 1.6.9
7

DESCRIPTION

9       Two DFAs are equivalent iff the exit status is zero.
10
11              Usage: fstequivalent in1.fst in2.fst
12
13       PROGRAM FLAGS:
14
15       --delta: type = double, default = 0.000976562
16
17              Comparison/quantization   delta   --max_length:  type  =  int32,
18              default = 2147483647 Maximum path length --npath: type =  int32,
19              default  =  1 Number of paths to generate --random: type = bool,
20              default = false Test equivalence by randomly selecting paths  in
21              the input FSTs --seed: type = int32, default = 1580514870 Random
22              seed --select: type =  string,  default  =  "uniform"  Selection
23              type:   one   of:   "uniform",  "log_prob"  (when  appropriate),
24              "fast_log_prob" (when appropriate)
25
26       LIBRARY FLAGS:
27
28       Flags from: flags.cc
29
30       --help: type = bool, default = false
31
32              show usage information --helpshort: type = bool, default = false
33              show  brief usage information --tmpdir: type = string, default =
34              "/tmp" temporary directory --v: type = int32, default =  0  ver‐
35              bosity level
36
37       Flags from: fst.cc
38
39       --fst_align: type = bool, default = false
40
41              Write FST data aligned where appropriate --fst_default_cache_gc:
42              type = bool, default = true Enable garbage collection  of  cache
43              --fst_default_cache_gc_limit:  type  =  int64, default = 1048576
44              Cache   byte   size    that    triggers    garbage    collection
45              --fst_read_mode:  type  =  string, default = "read" Default file
46              reading mode for mappable files --fst_verify_properties: type  =
47              bool, default = false Verify FST properties queried by TestProp‐
48              erties --save_relabel_ipairs: type = string, default =  ""  Save
49              input  relabel  pairs  to  file  --save_relabel_opairs:  type  =
50              string, default = "" Save output relabel pairs to file
51
52       Flags from: symbol-table.cc
53
54       --fst_compat_symbols: type = bool, default = true
55
56              Require symbol tables to match when appropriate --fst_field_sep‐
57              arator: type = string, default = "      " Set of characters used
58              as a separator between printed fields
59
60       Flags from: util.cc
61
62       --fst_error_fatal: type = bool, default = true
63
64              FST errors are fatal; o.w. return objects flagged as bad:  e.g.,
65              FSTs: kError property set, FST weights: not a Member()
66
67       Flags from: weight.cc
68
69       --fst_weight_parentheses: type = string, default = ""
70
71              Characters  enclosing  the  first  weight of a printed composite
72              weight (e.g., pair weight, tuple weight and derived classes)  to
73              ensure  proper I/O of nested composite weights; must have size 0
74              (none) or 2 (open and close parenthesis) --fst_weight_separator:
75              type = string, default = "," Character separator between printed
76              composite weights; must be a single character
77
78
79
80fstequivalent 1.6.9                July 2018                  FSTEQUIVALENT(1)