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


Zbl 0408.00013