Automatons are abstract models of machines that perform computations on an input by moving through a series of states or configurations. At each state of the computation, a transition function determines the next configuration on the basis of a finite portion of the present configuration. Automata are mini-machines that use cams, gears, ratchets and cranks to make the toy move. Once assembled, turn the crank, and the models come to life!