Provides the interfaces for simulation of input on an automaton.