Package net.automatalib.automaton.procedural

Class Summary

Class	Description
EmptySBA<I>	A utility implementation of an SBA that rejects all inputs, i.e., which describes the empty language.
EmptySPA<I>	A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
EmptySPMM<I,O>	A utility implementation of an SPMM that transduces all input words to a sequence of the given erroneous output symbol.
StackSBA<S,I>	A stack-based implementation for the (instrumented) language of an SBA.
StackSPA<S,I>	A stack-based implementation for the (instrumented) language of an SPA.
StackSPMM<S,I,T,O>	A stack-based implementation for the (instrumented) transductions of an SPMM.
StackState<S,I,P>	A stack-based state in a procedural system.