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

20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70] 2522

68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number -04 in that area} 366015