winnow − prune weighted FSAs (Finite State Playground) |
winnow xml-file level |
The winnow program takes an FSA and removes arcs whose weights are below a threshold specified on the command-line. The result is output as XML. Note that the resulting automaton is deterministic, but not complete. |
The XML syntax is quite simple. An FSA is represented as a net object which is composed of a series of fsanode objects, each of which encodes a separate state in the FSA. Whether the state is a start and/or a final state is encoded with attributes. Arcs between states are represented as arc objects within the fsanode objects, with attributes indicating what the arc symols are and what the destination states are. The full syntax is encoded in the fsanet.dtd file. |
fsp(1) |
http://www.u.arizona.edu/~hammond/ |
Author’s home page |
flbi/src/ |
Distribution source code |
||
flbi/xml/fsanet.dtd |
DTD file for XML specification of FSAs |
||
flbi/man/winnow.1 |
This man file |
Mike Hammond (hammond@u.arizona.edu) Copyright (C) 2007. All rights reserved. |