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

03D15 Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17] 2954

03D40 Word problems, etc. in computability and recursion theory [See also 06B25, 08A50, 20F10, 68R15] 618

03D45 Theory of numerations, effectively presented structures [See also 03C57] {For intuitionistic and similar approaches, see 03F55} 1625