Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables

DOI10.1007/BF01776568MaRDI QIDQ4174258zbMATH OpenOpenAlexFDO

Authors Max Dauchet, André Arnold

Publication date 1978

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01776568

zbMATH Keywords

Formal LanguageEquivalence RelationRational TransductionRecognizable Sets of TreesTree-Homomorphisms

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• scientific article; zbMATH DE number 3509706 (Why is no real title available?)
• A generalized approach to formal languages
• Derivation-bounded languages
• Mappings and grammars on trees
• Parallel context-free languages
• Transductions des langages de Chomsky
• Tree generating regular systems
• Un théorème de duplication pour les forets algébriques

Cited in

(2)

• Morphismes et bimorphismes d'arbres
• Object grammars and bijections.

This page was built for publication: Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables

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