@@ -1056,7 +1056,7 @@ them (or the user can recognize the `kNoLabel` loop and skip them).
10561056
10571057The special symbols referenced above behave as described in this table:
10581058
1059- | Consumes no symbol | Consumes symbol
1059+ | Consumes no symbol | Consumes symbol
10601060------------ | ------------------ | ---------------
10611061Matches all | ε | σ
10621062Matches rest | φ | ρ
@@ -1235,33 +1235,33 @@ if false and neither is set if unknown.
12351235Type | Name | Description
12361236------------- | -------------------- | -----------
12371237Acceptor | `kAcceptor` | Input and output label are equal for each arc
1238- | `kNotAcceptor` | Input and output label are not equal for some arc
1238+ | `kNotAcceptor` | Input and output label are not equal for some arc
12391239Accessible | `kAccessible` | All states reachable from the initial state
1240- | `kNotAccessible` | Not all states reachable from the initial state
1241- | `kCoAccessible` | All states can reach a final state
1242- | `kNotCoAccessible` | Not all states can reach a final state
1240+ | `kNotAccessible` | Not all states reachable from the initial state
1241+ | `kCoAccessible` | All states can reach a final state
1242+ | `kNotCoAccessible` | Not all states can reach a final state
12431243Cyclic | `kCyclic` | Has cycles
1244- | `kAcyclic` | Has no cycles
1245- | `kInitialCyclic` | Has cycles containing the initial state
1246- | `KInitialAcyclic` | Has no cycles containing the initial state
1244+ | `kAcyclic` | Has no cycles
1245+ | `kInitialCyclic` | Has cycles containing the initial state
1246+ | `KInitialAcyclic` | Has no cycles containing the initial state
12471247Deterministic | `kIDeterministic` | Input labels are unique leaving each state
1248- | `kNonIDeterministic` | Input labels are not unique leaving some state
1249- | `kODeterministic` | Output labels are unique leaving each state
1250- | `kNonODeterministic` | Output labels are not unique leaving some state
1248+ | `kNonIDeterministic` | Input labels are not unique leaving some state
1249+ | `kODeterministic` | Output labels are unique leaving each state
1250+ | `kNonODeterministic` | Output labels are not unique leaving some state
12511251Epsilons | `kEpsilons` | Has input/output epsilons
1252- | `KNoEpsilons` | Has no input/output epsilons
1253- | `kIEpsilons` | Has input epsilons
1254- | `KNoIEpsilons` | Has no input epsilons
1255- | `kOEpsilons` | Has output epsilons
1256- | `KNoOEpsilons` | Has no output epsilons
1252+ | `KNoEpsilons` | Has no input/output epsilons
1253+ | `kIEpsilons` | Has input epsilons
1254+ | `KNoIEpsilons` | Has no input epsilons
1255+ | `kOEpsilons` | Has output epsilons
1256+ | `KNoOEpsilons` | Has no output epsilons
12571257Sorted | `kILabelSorted` | Input labels sorted for each state
1258- | `kNotILabelSorted` | Input labels not sorted for each state
1259- | `kOLabelSorted` | Output labels sorted for each state
1260- | `kNotOLabelSorted` | Output labels not sorted for each state
1261- | `kTopSorted` | States topologically sorted
1262- | `kNotTopSorted` | States not topologically sorted
1258+ | `kNotILabelSorted` | Input labels not sorted for each state
1259+ | `kOLabelSorted` | Output labels sorted for each state
1260+ | `kNotOLabelSorted` | Output labels not sorted for each state
1261+ | `kTopSorted` | States topologically sorted
1262+ | `kNotTopSorted` | States not topologically sorted
12631263Weighted | `kWeighted` | Non-trivial arc or final weights
1264- | `kNotWeighted` | Only trivial arc and final weights
1264+ | `kNotWeighted` | Only trivial arc and final weights
12651265
12661266The call `fst.Properties(mask, false)` returns the stored property bits set in
12671267the mask bits; some properties may be unknown. it is a constant-time operation.
@@ -1610,7 +1610,7 @@ Real | `RealWeightTpl<T>` | $[0, \infty)$
16101610SignedLog | `SignedLogWeightTpl<T>` | $\{ -1,1\} \t imes [-\i nfty, \i nfty]$ | [$\o plus$signed_log](signed_log_plus.md) | $(\t imes,+)$ | $(1, \i nfty)$ | $(1, 0)$ | `T`: floating point | [`SignedLogWeightTpl`](https://www.openfst.org/doxygen/fst/html/classfst_1_1SignedLogWeightTpl.html)
16111611SparsePower | `SparsePowerWeight<W>` | $W^n$ | $\o plus_{W^n}$ | $\o times_{W^n}$ | $0_{W^n}$ | $1_{W^n}$ | `n`: arbitrary | [`SparsePowerWeight`](https://www.openfst.org/doxygen/fst/html/classfst_1_1SparsePowerWeight.html)
16121612String | `StringWeight<L, STRING_LEFT>` | $L^* \c up \{\i nfty\} $ | longest com. prefix | $\c dot$ | $\i nfty$ | $\e psilon$ | `L`: signed integral | [`StringWeight`](https://www.openfst.org/doxygen/fst/html/classfst_1_1StringWeight.html)
1613- | `StringWeight<L, STRING_RIGHT>` | $L^* \c up \{\i nfty\} $ | longest com. suffix | $\c dot$ | $\i nfty$ | $\e psilon$ | `L`: signed integral | [`StringWeight`](https://www.openfst.org/doxygen/fst/html/classfst_1_1StringWeight.html)
1613+ | `StringWeight<L, STRING_RIGHT>` | $L^* \c up \{\i nfty\} $ | longest com. suffix | $\c dot$ | $\i nfty$ | $\e psilon$ | `L`: signed integral | [`StringWeight`](https://www.openfst.org/doxygen/fst/html/classfst_1_1StringWeight.html)
16141614Tropical | `TropicalWeightTpl<T>` | $[-\i nfty, \i nfty]$ | $\m in$ | $+$ | $\i nfty$ | $0$ | `T`: floating point | [`TropicalWeightTpl`](https://www.openfst.org/doxygen/fst/html/classfst_1_1TropicalWeightTpl.html)
16151615
16161616The following weight types have been defined in the OpenFst library in terms of
0 commit comments