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

Implementation of state removal algorithm for converting automaton into regular expression.

See:
Description

Class Summary

StateRemovalRegexpAutomaton<T>

Extending automaton to support operations for method of state removal conversion of automaton into regular expression.

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

Implementation of state removal algorithm for converting automaton into regular expression.