scientific article; zbMATH DE number 18637

zbMATH Open0738.68052MaRDI QIDQ3976041FDOQ3976041

Authors: Emmanuel Kounalis 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• A pumping lemma for output languages of macro tree transducers
• Pumping lemmas for classes of languages generated by folding systems
• scientific article; zbMATH DE number 794243
• scientific article; zbMATH DE number 1615227
• Deterministic tree pushdown automata and monadic tree rewriting systems
• Rewriting preserving recognizability of finite tree languages
• Bottom-up tree pushdown automata and rewrite systems
• Deterministic bottom-up tree transducers and ground term rewrite systems
• On relationship between term rewriting systems and regular tree languages

zbMATH Keywords

finitenessnegation as failureequationsfinite modelslearning from exampleslanguage representationpumping lemmasrewrite systemsproof by inductioncontext- sensitive languagescompiling pattern matchingground normal forms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Cited In (4)

• Testing for the ground (co-)reducibility property in term-rewriting systems
• Pumping lemmas for classes of languages generated by folding systems
• Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
• Restricting tree grammars with term rewriting

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