finite-automata [finite-automata]