Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping

Submodule for converting automaton to RegexpAutomaton and then obtaining Regexp from it.

See:
Description

Interface Summary

RegexpAutomatonSimplifier<T>	Interface for RegexpAutomaton simplifiers.
RegexpAutomatonSimplifierFactory	Factory for RegexpAutomatonSimplifier.

Class Summary

RegexpAutomaton<T>

Automaton with Regexp on transitions Type T is to be the same as in ordinary automaton.

Package cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping Description

Submodule for converting automaton to RegexpAutomaton and then obtaining Regexp from it.