scientific article; zbMATH DE number 4051590

MaRDI QIDQ3787991zbMATH OpenFDO

Authors Volodymyr Oleshchuk, Anatoly V. Anisimov

Publication date 1987

zbMATH Keywords

Church- Rosser Thue systemdecidability of finite automata mappings stability problems

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Automata and formal grammars in connection with logical questions (03D05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Minimal undecidable identity problem for finite-automaton mappings
• Church-Rosser systems with respect to formal languages
• scientific article; zbMATH DE number 4210423
• scientific article; zbMATH DE number 3948242
• On reduced thue systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787991)