scientific article; zbMATH DE number 3911709

MaRDI QIDQ3687715zbMATH OpenFDO

Authors Anatoly V. Anisimov

Publication date 1982

zbMATH Keywords

Church-Rosser propertydiscrete transformersgeneralization of Turing machineslocally-finite transformers over trees

Mathematics Subject Classification ID

Recommendations

• The Church-Rosser property for ground term-rewriting systems is decidable
• Reductions in tree replacement systems
• Church-Rosser systems with respect to formal languages
• Undecidable properties of deterministic top-down tree transducers
• Church-Rosser Thue systems and formal languages

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 Q3687715)