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> Alphabet
class that supports adding new symbols.ProceduralInputAlphabet<I> A specialized version of aVPAlphabet
that is tailored towards procedural systems.ProceduralOutputAlphabet<O> A specializedAlphabet
for 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.