WINNOW

NAME
SYNOPSIS
DESCRIPTION
XML DOCUMENTS AND THEIR SYNTAX
SEE ALSO
FILES
AUTHOR

NAME

winnow − prune weighted FSAs (Finite State Playground)

SYNOPSIS

winnow xml-file level

DESCRIPTION

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.

XML DOCUMENTS AND THEIR SYNTAX

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.

SEE ALSO

fsp(1)
re(1)
concatenate(1)
dictionary(1)
intersect(1)
kleene(1)
train(1)
union(1)

http://www.u.arizona.edu/~hammond/

Author’s home page

FILES

flbi/src/

Distribution source code

flbi/xml/fsanet.dtd

DTD file for XML specification of FSAs

flbi/man/winnow.1

This man file

AUTHOR

Mike Hammond (hammond@u.arizona.edu)

Copyright (C) 2007. All rights reserved.