Kind of like lambda-calculator, but for automata.