dk.brics.string.grammar.operations
Class RegularApproximation

java.lang.Object
  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

RegularApproximation

public RegularApproximation(Grammar g)

Constructs a new approximator.

Method Detail

approximate

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()).

Parameters:

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