Bottom-up tree pushdown automata and rewrite systems

DOI10.1007/3-540-53904-2_104MaRDI QIDQ5055768zbMATH OpenOpenAlexFDO

Authors Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53904-2_104

zbMATH Keywords

Church-Rosser systemsconvergent systemsNoetherian systemspushdown storerewrite systemsterm rewrite systemstree automatontree languages

Mathematics Subject Classification ID

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

Recommendations

• Bottom-up tree pushdown automata: Classification and connection with rewrite systems
• Deterministic tree pushdown automata and monadic tree rewriting systems
• Deterministic bottom-up tree transducers and ground term rewrite systems
• Reductions in tree replacement systems
• Bottom-up rewriting for words and terms

Cites work

• Bottom-up tree pushdown automata and rewrite systems
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Deterministic tree pushdown automata and monadic tree rewriting systems
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• scientific article; zbMATH DE number 3928342 (Why is no real title available?)
• scientific article; zbMATH DE number 58292 (Why is no real title available?)
• Monadic Thue systems
• Pushdown tree automata
• Reductions in tree replacement systems
• Semantic confluence tests and completion methods
• Thue systems as rewriting systems
• Tree pushdown automata

Cited in

(14)

• Deterministic bottom-up tree transducers and ground term rewrite systems
• Deterministic tree pushdown automata and monadic tree rewriting systems
• Bottom-up tree pushdown automata: Classification and connection with rewrite systems
• Tree automata for rewrite strategies
• scientific article; zbMATH DE number 5999538 (Why is no real title available?)
• scientific article; zbMATH DE number 18637 (Why is no real title available?)
• scientific article; zbMATH DE number 1530017 (Why is no real title available?)
• scientific article; zbMATH DE number 1786544 (Why is no real title available?)
• Bottom-Up Tree Automata with Term Constraints
• scientific article; zbMATH DE number 7315101 (Why is no real title available?)
• Handling left-quadratic rules when completing tree automata
• Bottom-up tree pushdown automata and rewrite systems
• Branching Pushdown Tree Automata
• Termination criteria for tree automata completion

This page was built for publication: Bottom-up tree pushdown automata and rewrite systems

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