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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MLFA2Automaton
public MLFA2Automaton(MLFA m)
- Construcs a new converter for the given MLFA.
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)
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.