cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping
Interface RegexpAutomatonSimplifier<T>

All Known Implementing Classes:

StateRemovalHeuristic, StateRemovalOrdered

public interface RegexpAutomatonSimplifier<T>

Interface for RegexpAutomaton simplifiers. Given input automaton with Regexp on transition, method simplify has to return Regexp, which corresponds to language accepted by automaton. On input, all regexps on transitions are by definition tokens (it is not enforced anywhere however).

Method Summary

Regexp<T>

simplify(RegexpAutomaton<T> inputAutomaton, SymbolToString<Regexp<T>> symbolToString) Convert input RegexpAutomaton to Regexp which represents same language.

Method Detail

simplify

Regexp<T> simplify(RegexpAutomaton<T> inputAutomaton,
                   SymbolToString<Regexp<T>> symbolToString)
                   throws InterruptedException

Convert input RegexpAutomaton to Regexp which represents same language.

Parameters:

inputAutomaton - automaton to convert on regexp.

symbolToString - converter of type T to string representation (for presenting automaton to user)

Returns:

regular expression that represents same language as input automaton accepted

Throws:

InterruptedException