Un théorème de duplication pour les forets algébriques

DOI10.1016/S0022-0000(76)80032-3zbMath0335.68050MaRDI QIDQ1229588

Max Dauchet, André Arnold

Publication date: 1976

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Synchronized tree automata, Parameter-reduction of higher level grammars, Deterministic tree pushdown automata and monadic tree rewriting systems, A representation of trees by languages. II, Test sets for the universal and existential closure of regular tree languages., The formal power of one-visit attribute grammars, Restarting Tree Automata and Linear Context-Free Tree Languages, Morphismes et bimorphismes d'arbres, Basic notions of universal algebra for language theory and graph grammars, Alphabetic and synchronized tree transducers, Linear context-free tree languages and inverse homomorphisms, Un théorème de Chomsky-Schützenberger pour les forets algébriques, A representation of trees by languages. I, Extended linear macro grammars, iteration grammars, and register programs, Le théorème de transversale rationnelle dans les langages d'arbres, Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables, Context-free series on trees

Cites Work

• Unnamed Item
• Surface tree languages and parallel derivation trees
• A generalized approach to formal languages
• Generalized sequential machine maps
• Extension of tabled 0L-systems and languages
• Decomposition Theorems for Various Kinds of Languages Parallel in Nature
• Indexed Grammars—An Extension of Context-Free Grammars
• Mappings and grammars on trees