zbMATH — the first resource for mathematics

Word problems for groups and contextfree recognition. (English) Zbl 0413.68044
Fundamentals of computation theory ’79, Proc. Conf., Berlin/Wendisch- Rietz 1979, 417-422 (1979).

68Q25 Analysis of algorithms and problem complexity
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03D40 Word problems, etc. in computability and recursion theory
68Q45 Formal languages and automata