Package net.automatalib.alphabet
This package contains the basic classes concerning alphabets.
-
Interface Summary Interface Description Alphabet<I> Class implementing an (indexed) alphabet.GrowingAlphabet<I> Alphabetclass that supports adding new symbols.ProceduralInputAlphabet<I> A specialized version of aVPAlphabetthat is tailored towards procedural systems.ProceduralOutputAlphabet<O> A specializedAlphabetfor procedural systems that combines a regular output alphabet with a designated error symbol.SupportsGrowingAlphabet<I> Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.VPAlphabet<I> Alphabet definition for visible push-down automata. -
Enum Summary Enum Description VPAlphabet.SymbolType Classifies an input symbol either as a call symbol, an internal symbol, or a return symbol.