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.
|
ProceduralGraphView<S,I> |
Graph representation of a ProceduralSystem that displays all states of its sub-procedures once, i.e., without
incorporating execution semantics such as stack contents.
|
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.
|