fstequivalent(1)

💖 NAME 💖

fstequivalent — bestie, this one tells you whether two DFAs are equivalent ✨ like, are these two even the same girl? 👑

---

🌸 SYNOPSIS 🌸

fstequivalent [OPTIONS] in1.fst in2.fst

---

✨ DESCRIPTION ✨

Okay so real talk: fstequivalent figures out whether two DFAs are equivalent 🦋. That's it, that's the whole job.

The exit status is zero when the DFAs are equivalent, and nonzero when they're not 💅. No cap, that's how you read the answer.

---

🎀 OPTIONS 🎀

Heads up bestie: boolean options accept either true or false as a value, or they just quietly assume true if you don't give them a value at all 🫶.

• --delta=VALUE — sets the comparison/quantization delta. Default: 0.000976562.
• --fst_align[=BOOLEAN] — write FST data aligned where appropriate. Default: false.
• --fst_compat_symbols[=BOOLEAN] — require symbol tables to match when appropriate. Default: true.
• --fst_default_cache_gc[=BOOLEAN] — turn on garbage collection of the cache. Default: true.
• --fst_default_cache_gc_limit=N — set the cache byte size that triggers garbage collection. Default: 1048576.
• --fst_error_fatal[=BOOLEAN] — if true, FST errors are fatal 😭. Otherwise the returned objects get flagged as bad — for example, FSTs come back with the kError property set to true, and FST weights are set so that Member() returns false. Default: true.
• --fst_field_separator=STRING — set the characters used as a separator between printed fields. Default: " ".
• --fst_read_mode=STRING — set the default file reading mode for mappable files, either "read" or "map". Default: "read".
• --fst_verify_properties[=BOOLEAN] — verify fst properties queried by TestProperties. Default: false.
• --fst_weight_parentheses=STRING — set the characters enclosing the first weight of a printed composite weight (like pair weight, tuple weight, and derived classes) so nested composite weights get proper I/O. Must have size 0 (none) or 2 (open and close parenthesis). Default: no parentheses.
• --fst_weight_separator=CHARACTER — set the character separator between printed composite weights. Default: comma.
• --help[=BOOLEAN] — show usage information. Default: false.
• --helpshort[=BOOLEAN] — show brief usage information. Default: false.
• --max_length=LENGTH — set the maximum path length. Default: 2147483647.
• --npath=INTEGER — set the number of paths to generate. Default: 1.
• --random[=BOOLEAN] — test equivalence by randomly selecting paths in the input FSTs 🎲. Default: false.
• --save_relabel_ipairs=FILENAME — save input relabel pairs to a file. Default: do not save.
• --save_relabel_opairs=FILENAME — save output relabel pairs to a file. Default: do not save.
• --seed=INTEGER — set the seed for the random number generator. Default: 1299098484.
• --select=TYPE — set the selection type, one of uniform, log_prob, or fast_log_prob. Default: uniform.
• --tmpdir=PATHNAME — set the temporary directory to use. Default: /tmp.
• --v[=N] — set the verbosity level. Default: 0.

---

💜 SEE ALSO 💜

The whole friend group, go say hi 👑:

• 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).

---

okay that's the whole page bestie, ty for reading, love u 🫶💖

This one's from OpenFst 1.8.5, dated Mar 2026 📅 — slay, iconic, periodt ✨🌸