Automata Theory [automata-theory]

finite-automata [finite-automata]