Class RegularApproximation

  extended by dk.brics.string.grammar.operations.RegularApproximation

public class RegularApproximation
extends Object

Mohri-Nederhof approximation of grammars.

Constructor Summary
RegularApproximation(Grammar g)
          Constructs a new approximator.
Method Summary
 void approximate(Collection<Nonterminal> hotspots)
          Performs Mohri-Nederhof regular approximation on the grammar.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public RegularApproximation(Grammar g)
Constructs a new approximator.

Method Detail


public void approximate(Collection<Nonterminal> hotspots)
Performs Mohri-Nederhof regular approximation on the grammar. The grammar is assumed to have no operation cycles (see Grammar.approximateOperationCycles()).

hotspots - nonterminals that correspond to expressions where automata are extracted later

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