Finite automata (TODO)