Automata, actually, but they're closely related.