Formal language automata