Package it.unive.lisa.analysis.string.fsa

Class Summary

Class	Description
FSA	A class that represent the Finite State Automaton domain for strings, exploiting a SimpleAutomaton.
SimpleAutomaton	A class that describes an generic automaton(dfa, nfa, epsilon nfa) using a standard alphabet of single characters.
StringSymbol	A TransitionSymbol for single characters, represented as strings for simple modeling of epsilon.