03D05 Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] 2383
68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 417787