Package it.unive.lisa.util.datastructures.automaton

Interface Summary

Interface	Description
AutomataFactory<A extends Automaton<A,T>,T extends TransitionSymbol<T>>	A factory for creating instances of Automaton.
TransitionSymbol<T>	A symbol that can be read by Transitions of an Automaton.

Class Summary

Class	Description
Automaton<A extends Automaton<A,T>,T extends TransitionSymbol<T>>	A class that describes a generic automaton(dfa, nfa, epsilon nfa).
State	A class that describes an Automaton state.
Transition<T extends TransitionSymbol<T>>	A class that describes an Automaton transition.

Exception Summary

Exception	Description
CyclicAutomatonException	Exception thrown if an automaton is cyclic while computing accepted language.