Higher-order pushdown systems with data

zbMATH Open1459.68107arXiv1210.2460MaRDI QIDQ4986516FDOQ4986516

Authors: Paweł Parys 

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2460

Recommendations

• Collapse operation increases expressive power of deterministic higher order pushdown automata
• On the significance of the collapse operation
• Unboundedness and downward closures of higher-order pushdown automata
• scientific article; zbMATH DE number 2087432
• Mathematical Foundations of Computer Science 2005

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (4)

• Regular and context-free nominal traces
• Collapse operation increases expressive power of deterministic higher order pushdown automata
• Unboundedness and downward closures of higher-order pushdown automata
• Title not available (Why is that?)

This page was built for publication: Higher-order pushdown systems with data

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