dk.brics.string.mlfa.operations
Class MLFA2Automaton

java.lang.Object
  dk.brics.string.mlfa.operations.MLFA2Automaton

public class MLFA2Automaton
extends Object

Converter from MLFAs to automata.

See Also:

StringAnalysis

Constructor Summary

MLFA2Automaton(MLFA m)
Construcs a new converter for the given MLFA.

Method Summary

Automaton

extract(MLFAStatePair p) Extracts ordinary minimal deterministic finite automaton from the MLFA.

Methods inherited from class java.lang.Object

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

Constructor Detail

MLFA2Automaton

public MLFA2Automaton(MLFA m)

Construcs a new converter for the given MLFA.

Method Detail

extract

public Automaton extract(MLFAStatePair p)

Extracts ordinary minimal deterministic finite automaton from the MLFA.

Parameters:

p - pair representing initial and final state

Returns:

minimal deterministic finite automaton (should not be modified by caller)