03D05 Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] 2286