Package net.automatalib.automaton.procedural
-
Class Summary Class Description EmptySBA<I> A utility implementation of anSBA
that rejects all inputs, i.e., which describes the empty language.EmptySPA<I> A utility implementation of anSPA
that rejects all inputs, i.e., describes the empty language.EmptySPMM<I,O> A utility implementation of anSPMM
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 anSBA
.StackSPA<S,I> A stack-based implementation for the (instrumented) language of anSPA
.StackSPMM<S,I,T,O> A stack-based implementation for the (instrumented) transductions of anSPMM
.StackState<S,I,P> A stack-based state in a procedural system.