nop 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 ...
nop Efficiency By reading the Quick Tour and Conventions and working through the examples, users typically can create correct implementations of applications. What ...
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 ...
Compose Description This operation computes the composition of two transducers. If A transduces string x to y with weight a and B transduces y to z ...
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 ...
nop OpenFst Quick Tour Below is a brief tutorial on the nop OpenFst library. After reading this, you may wish to browse the Advanced Usage topic for greater detail ...
nop 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 Tour ...
OpenFst Library OpenFst Version 1.3.1 is now available for download. OpenFst is a library for constructing, combining, optimizing, and searching weighted finite ...
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 ...
nop OpenFst Extensions The following extensions to nop OpenFst are available. These are built only if the configure flags are provided as below. Also provided are ...
nop OpenFst Background Material The following material is provided as background reading about finite state transducers. However, it is not necessary to read this ...
FST Weight Requirements A semiring is specified by two binary operations and and two designated elements 0 and 1 with the following properties: : associative ...
OpenFst README OpenFst Release 1.3 OpenFst is a library for constructing, combining, optimizing, and searching weighted finite state transducers (FSTs). REQUIREMENTS ...
nop OpenFst Conventions The nop OpenFst Libary has various conventions and assumptions about its objects and coding style. Object Conventions 1. The StateIds ...
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 ...
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. ...
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 ...
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 ...
Intersect Description This operation computes the intersection (Hadamard product) of two FSAs. Only strings that are in both automata are retained in the result ...
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 ...
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 ...
Last Published Publisher CyrilAllauzen Date 30 Apr 2009 19:29 {PublishContrib}{Dir} /var/www/twiki/pub/publish/ {PublishContrib}{URL} http://mohri lt.cs.nyu ...
Compilation on MacOS X This only applies to Tiger and Leopard. On Snow Leopard (10.6), you simply need to use the latest version of Xcode (3.2.3) that ships with ...
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 ...
Equivalent Description This operations determines if two epsilon free deterministic weighted acceptors are equivalent, that is if they accept the same strings with ...
Minimize Description This operation performs the minimization of deterministic weighted automata and transducers. If the input FST A is an automaton (acceptor) ...
OpenFst Glossary #AcceptorDef $ acceptor : An acceptor is a finite automaton where each transition has a label and possibly a weight. In this library, an acceptor ...
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 ...
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 ...
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, ...
Encode/Decode Description The Encode operation allows the representation of a weighted transducer as a weighted automaton, an unweighted transducer or an unweighted ...
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 ...
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 ...
Union Description This operation computes the union ( sum ) of two FSTs. If A transduces string x to y with weight a and B transduces string w to v ...
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 ...
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 ...
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 ...
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 ...