Delta

This module contains decorators for declaring functions as delta functions for automata.

The delta functions are used by the automata classes in the automata module to determine the next state of the automata.

deltafunc = <deltafunc decorator>

Declares this function as a delta function for automata.

A delta function must have at least two arguments, and the last argument will always be the next symbol. The other arguments before that will be the current state, split into variables if the state is a tuple.

pushdownfunc = <pushdownfunc decorator>

Declares this function as a pushdown function for pushdown automata.

A pushdown function must have at least three arguments, the last argument will always be the next symbol, and the one before that is the current stack. The other arguments before that will be the current state, split into variables if the state is a tuple.

transducerfunc = <transducerfunc decorator>

Declares this function as a transducer function for automata.

A transducer function must have at least two arguments, and the last argument will always be the next symbol. The other arguments before that will be the current state, split into variables if the state is a tuple.