dk.brics.string.grammar.operations
Class Grammar2MLFA

java.lang.Object
  dk.brics.string.grammar.operations.Grammar2MLFA

public class Grammar2MLFA
extends Object

Converter from strongly regular grammars to MLFAs.

See Also:

StringAnalysis

Constructor Summary

Grammar2MLFA(Grammar g)
Constructs a new converter for the given grammar.

Method Summary

MLFA	convert() Constructs MLFA from the grammar.
MLFAStatePair	getMLFAStatePair(Nonterminal n) Returns MLFA state pair representing initial and final state for the given nonterminal.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Grammar2MLFA

public Grammar2MLFA(Grammar g)

Constructs a new converter for the given grammar.

Method Detail

convert

public MLFA convert()

Constructs MLFA from the grammar. The grammar is assumed to be approximated first (see RegularApproximation).

See Also:

getMLFAStatePair(Nonterminal)

getMLFAStatePair

public MLFAStatePair getMLFAStatePair(Nonterminal n)

Returns MLFA state pair representing initial and final state for the given nonterminal. convert() must be called first.