ArcMap Description This operation transforms each arc and final state in the input FST. The transformation is specified by a function object called an arc mapper...
ArcSort Description This operation sorts the arcs in an FST per state. At the C level, the sort order is determined by a function object compare of type Compare...
Closure Description This operation computes the concatenative closure. If A transduces string x to y with weight a , then the closure transduces x to y...
Compilation on MacOS X OpenFst version 1.4 Version 1.4 requires MacOS X 10.8 or later and Xcode 5. No special instructions needed. OpenFst versions 1.0 to 1....
Concat Description This operation computes the concatenation ( product ) of two FSTs. If A transduces string x to y with weight a and B transduces string...
Connect Description This operation trims an FST, removing states and arcs that are not on successful paths. Usage template void Connect(MutableFst fst);...
Determinize Description This operation determinizes a weighted transducer. The result will be an equivalent FST that has the property that no state has two transitions...
Difference Description This operation computes the difference between two FSAs. Only strings that are in the first automaton but not in second are retained in the...
Disambiguate Description This operation disambiguates a weighted transducer. The result will be an equivalent FST that has the property that no two successful paths...
OpenFst COPYING Licensed under the Apache License, Version 2.0 (the `License`); you may not use these files except in compliance with the License. You may obtain a...
Encode/Decode Description The Encode operation allows the representation of a weighted transducer as a weighted automaton, an unweighted transducer or an unweighted...
EpsNormalize Description Returns an equivalent FST that is epsilon normalized. An acceptor is epsilon normalized if it is epsilon removed. A transducer is input epsilon...
Equal Description This operation determines if two transducers have the same states with the same numbering and the same transitions with the same labels and weights...
Equivalent Description This operation determines if two epsilon free deterministic weighted acceptors are equivalent, that is if they accept the same strings with...
OpenFst Advanced Usage Below are a variety of topics covered in greater depth or of more specialized interest than found in the Quick Tour. Reading the Quick...
OpenFst Background Material The following material is provided as background reading about finite state transducers. However, it is not necessary to read this...
OpenFst Conventions The OpenFst Libary has various conventions and assumptions about its objects and coding style. Object Conventions 1. The StateIds...
Efficiency By reading the Quick Tour and Conventions and working through the examples, users typically can create correct implementations of applications. What...
OpenFst Examples Reading the quick tour first is recommended. That includes a simple example of FST application using either the C template level or the shell...
OpenFst Extensions The following extensions to OpenFst are available. These are built only if the configure flags are provided as below. Also provided are...
OpenFst Glossary $ acceptor : An acceptor is a finite automaton where each transition has a label and possibly a weight. In this library, an acceptor is represented...
OpenFst Quick Tour Below is a brief tutorial on the OpenFst library. After reading this, you may wish to browse the Advanced Usage topic for greater detail...
SLT 2010 Tutorial https://www.openfst.org/twiki/pub/FST/FstSltTutorial/part1.pdf Part I: Library Design and Use Part II: Applications Presented at SLT...
FST Weight Requirements A semiring is specified by two binary operations and and two designated elements 0 and 1 with the following properties: : associative...
Intersect Description This operation computes the intersection (Hadamard product) of two FSAs. Only strings that are in both automata are retained in the result...
Invert Description This operation inverts the transduction corresponding to an FST by exchanging the FST`s input and output labels. Usage template void Invert...
Isomorphic Description This operation determines if two transducers with a certain required determinism have the same states, irrespective of numbering, and the...
Minimize Description This operation performs the minimization of deterministic weighted automata and transducers. If the input FST A is an automaton (acceptor)...
Multi Pushdown Transducer Library (MPDTs) The multi pushdown transducer (MPDT) extension extends the Transducer Library extension to allow for multiple stacks. As...
Pushdown Transducer Library (PDTs) This is a push down transducer (PDT) extension of the OpenFst library. A PDT is encoded as an FST, where some transitions are labeled...
Project Description This operation projects an FST onto its domain or range by either copying each arc`s input label to its output label or vice versa. Usage enum...
Prune Description This operation deletes states and arcs in the input FST that do not belong to a successful path whose weight is no more (w.r.t the natural the natural...
Last Published Publisher CyrilAllauzen Date 30 Apr 2009 19:29 {PublishContrib}{Dir} /var/www/twiki/pub/publish/ {PublishContrib}{URL} http://mohri lt.cs.nyu...
Push Description This operation produces an equivalent transducer by pushing the weights and/or the labels towards the initial state or toward the final states....
OpenFst Python extension This extension exposes the OpenFst scripting API to (3.6 or better). Like the scripting API, it supports FstAdvancedUsage#FstArcs...
RandEquivalent Description This operation test is two FSTs are equivalent by randomly generating N paths alternatively in each of the two FSTs. For each randomly...
RandGen Description This operation randomly generates a set of successful paths in the input FST. The operation relies on an ArcSelector object for randomly selecting...
OpenFst README OpenFst Release 1.5.3 OpenFst is a library for constructing, combining, optimizing, and searching weighted finite state transducers (FSTs). REQUIREMENTS...
Relabel Description This operation relabels the input and/or output labels of an FST. The input and/or output relabeling are specified by providing the corresponding...
Replace Description This operation performs the dynamic replacement of arcs in one FST with another FST, allowing the definition of FSTs analogous to RTNs. It takes...
Reverse Description This operation reverses an FST. If A transduces string x to y with weight a , then the reverse of A transduces the reverse of x to...
Reweight Description This operation reweights an FST according to the potentials and in the direction specified by the user. An arc of weight w , with an origin...
RmEpsilon Description This operation removes epsilon transitions (when both the input and output label are an epsilon) from a transducer. The result will be an equivalent...
ShortestDistance Description This operation computes the shortest distance from the initial state to every state (when reverse is false ) or from every state to...
ShortestPath Description This operation produces an FST containing the n shortest paths in the input FST. The n shortest paths are the n lowest weight paths...
StateMap Description This operation transforms each state in the input FST. The transformation is specified by a function object called a state mapper . For instance...
Synchronize Description This operation synchronizes a transducer. The result will be an equivalent FST that has the property that during the traversal of a path,...
Topsort Description This operation topologically sorts its input if acyclic, modifying it. Otherwise, the input is unchanged. When sorted, all transitions are from...
Verify Description This operation checks the sanity of a FST`s contents. It returns false if the transducer is incomplete or ill formed (e.g., a non trivial FST...
OpenFst Library OpenFst version 1.8.3 is now available for download. OpenFst is now also available on conda forge. Linux (x86) and Mac OS X users who already...
This is a subscription service to be automatically notified by e mail when topics change in this 1 web. This is a convenient service, so you do not have to come...