Pushdown tree automata (original) (raw)
Related papers
Journal of Computer and System Sciences, 1985
Bottom-up tree pushdown automata: classification and connection with rewrite systems
Theoretical Computer Science, 1994
A redefinition of Embedded Push-Down Automata
Deterministic top-down tree automata: past, present, and future
2008
A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique
Lecture Notes in Computer Science, 2001
2008
A linear time extension of deterministic pushdown automata
2009
Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata
Collapsible pushdown automata and recursion schemes
2008
Lecture Notes in Computer Science, 2012
Height-Deterministic Pushdown Automata
Lecture Notes in Computer Science
Input-Driven Pushdown Automata on Well-Nested Infinite Strings
2021
Higher-Order Pushdown Trees Are Easy
Lecture Notes in Computer Science, 2002
Lecture Notes in Computer Science
Tree indexing by pushdown automata and subtree repeats
Computer Science …, 2011
Collapsible Pushdown Automata and Recursion Schemes (Extended abstract)
2000
On the Implementation of Tree Automata: Limitations of the Naive Approach
2006
Relating word and tree automata
1996
A Tighter Bound for the Determinization of Visibly Pushdown Automata
Electronic Proceedings in Theoretical Computer Science, 2009
Tree automata techniques and applications
1997
Lecture Notes in Computer Science, 2003
Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting
ArXiv, 2014
2015
Stackless Processing of Streamed Trees
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021
Bidirectional Push Down Automata
Subtree matching by pushdown automata
Computer Science and Information Systems, 2010
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
2021
Tabulation of Automata for Tree-Adjoining Languages
Grammars, 2000
On The Power Of Distributed Bottom-up Tree Automata
A kleene-like characterization of languages accepted by systolic tree automata
Journal of Computer and System Sciences, 1994
On the complexity of membership and counting in height-deterministic pushdown automata
Computer ScienceTheory and …, 2008
Tree Automata with Global Constraints
International Journal of Foundations of Computer Science, 2010
Information and Computation, 2022