Package dk.brics.string.grammar.operations

Operations on grammars.

See:
          Description

Class Summary
AssertionCycleApproximation Assertions involved in operation cycles are replaced by unit productions to prevent them from provoking a character set approximation that would not otherwise occur.
Component Strongly connected component.
Grammar2MLFA Converter from strongly regular grammars to MLFAs.
GrammarAsDirectedGraph Directed graph facade for grammars.
OperationCycleApproximation Operation cycle approximation.
RegularApproximation Mohri-Nederhof approximation of grammars.
 

Enum Summary
Component.Recursion  
 

Package dk.brics.string.grammar.operations Description

Operations on grammars.

This code may be used under the terms of the GNU General Public License.

Author:
Anders Møller <amoeller@cs.au.dk>


Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.