Publication:3787991

zbMath0645.03035MaRDI QIDQ3787991

Volodymyr Oleshchuk, Anatoly V. Anisimov

Publication date: 1987

zbMATH Keywords

Church- Rosser Thue system; decidability of finite automata mappings stability problems

Mathematics Subject Classification ID

20M05: Free semigroups, generators and relations, word problems

03D05: Automata and formal grammars in connection with logical questions

20M35: Semigroups in automata theory, linguistics, etc.

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

03D03: Thue and Post systems, etc.