fsmlibrary

AT&T FSM Library, a set of tools for manipulating finite-state transducers

Description

The AT&T FSM library^TM is a set of general-purpose software tools available for Unix, for building, combining, optimizing, and searching weighted finite-state acceptors and transducers. Finite-state transducers are automata for which each transition has an output label in addition to the more familiar input label. Weighted acceptors or transducers are acceptors or transducers in which each transition has a weight as well as the input or input and output labels.

The original goal of the AT&T FSM library^TM was to provide algorithms and representations for phonetic, lexical, and language-modeling components of large-vocabulary speech recognition systems. This imposed the following requirements:

• Generality: to support the representation and use of the various information sources in speech recognition
• Modularity: to allow rapid experimentation with different representations
• Efficiency: to support competitive large-vocabulary recognition using automata of more than 10 million states and transitions.

The mathematical foundation of the library is the theory of rational power series, which supplies the semantics for the objects and operations and creates opportunity for optimizations such as determinization and minimization.

Version and Copyright Information

version: 4.0 (also 3.6 is available)

copyright:

Usage

Commands and command line options:

• fsmcompile [ -i symbols ] [ -o symbols ] [ -s symbols ] [ -t ] [ file ]
• fsmprint [ -i symbols ] [ -o symbols ] [ -s symbols ] [ -l ] [ fsm ]
• fsmdraw [ -i symbols ] [ -o symbols ] [ -s symbols ] [ -w x ] [ -h y ] [ -f font ] [ -F n ] [ -lpv ] [ fsm ]
• fsmunion [ fsm1 ... ]
• fsmconcat [ fsm1 ... ]
• fsmclosure [ -p ] [ fsm ]
• fsmreverse [ fsm ]
• fsminvert [ fsm ]
• fsmproject [ -io12 ] [ fsm ]
• fsmrmepsilon [ -c thresh ] [ -1d ] [ fsm ]
• fsmintersect [ -c thresh ] [ -1d ] fsm1 fsm2 [ fsm3 ...]
• fsmdifference [ -c thresh ] [ -1d ] fsm1 fsm2
• fsmcompose [ -c thresh ] [ -1d ] fsm1 fsm2 [ fsm3 ...]
• fsmconnect [ -t ] [ fsm ]
• fsmdeterminize [ fsm ]
• fsmminimize [ fsm ]
• fsmarccollect [ fsm ]
• fsmcompact [ fsm ]
• fsmequiv fsm1 fsm2
• fsmbestpath [ -n nbest ] [ -c thresh ] [ -u ] [ fsm ]
• fsmprune [ -c thresh ] [ fsm ]
• fsmconvert [ -biIOcegpP1 ] [ fsm ]
• fsmarcsort [ -ioc ] [ fsm ]
• fsmtopsort [ -tie ] [ fsm ]
• fsminfo [ -nptcv -q width -b quantile1 -e quantile2 ] [ fsm ]
• fsmpush [ -clifrIkd ] [ fsm ] (see the man page of fsmlibrary 3)
• fsmencode [ -cld ] fsm key (see the man page of fsmlibrary 3)
• fsmquantize [ fsm ] (see the man page of fsmlibrary 3)
• fsmequiv [ -v ] fsm1 fsm2 (see the man page of fsmlibrary 3)
• fsmsynchronize [ -c cthresh ] [ -n nthresh ] [ -d ] [ fsm ] (not at CSC) (see the man page of fsmlibrary 3)
• fsmarith [-opts] [fsm] (see fsmarith -h)
• fsmpotentials [-opts] [fsm] (see fsmpotentials -h)
• fsmrandgen [-opts] [fsm] (see fsmrandgen -h) (a related homework)

Command man fsm gives a man page describing almost all commands.

The full documentation is online documentation.