On regular tree languages and deterministic pushdown automata

JOURNAL ARTICLE published November 2009 in Acta Informatica

Authors: Jan Janoušek | Bořivoj Melichar

Efficient determinization of visibly and height-deterministic pushdown automata

JOURNAL ARTICLE published November 2016 in Computer Languages, Systems & Structures

Authors: Radomír Polách | Jan Trávníček | Jan Janoušek | Bořivoj Melichar

Subtree matching by deterministic pushdown automata

PROCEEDINGS ARTICLE published October 2009 in 2009 International Multiconference on Computer Science and Information Technology

Authors: Tomas Flouri | Borivoj Melichar | J. Janousek

Tree Template Matching in Ranked Ordered Trees by Pushdown Automata

BOOK CHAPTER published 2011 in Implementation and Application of Automata

Authors: Tomáš Flouri | Jan Janoušek | Bořivoj Melichar | Costas S. Iliopoulos | Solon P. Pissis

Tree template matching in ranked ordered trees by pushdown automata

JOURNAL ARTICLE published December 2012 in Journal of Discrete Algorithms

Authors: Tomáš Flouri | Costas S. Iliopoulos | Jan Janoušek | Bořivoj Melichar | Solon P. Pissis

Linear-Time Recognizable Classes of Tree Languages by Deterministic Linear Pushdown Tree Automata

JOURNAL ARTICLE published 2009 in IEICE Transactions on Information and Systems

Authors: Akio FUJIYOSHI

Aho-Corasick like multiple subtree matching by pushdown automata

PROCEEDINGS ARTICLE published 22 March 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing

Research funded by Czech Science Foundation (201/09/0807) | Ministry of Education, Youth and Sports (MSM 6840770014)

Authors: Tomáš Flouri | Bořivoj Melichar | Jan Janoušek

On Tree Pattern Matching by Pushdown Automata

JOURNAL ARTICLE published 2 January 2009 in Acta Polytechnica

Authors: T. Flouri

Deterministic Pushdown Automata and Unary Languages

BOOK CHAPTER published in Implementation and Applications of Automata

Authors: Giovanni Pighizzini

DETERMINISTIC PUSHDOWN AUTOMATA AND UNARY LANGUAGES

JOURNAL ARTICLE published August 2009 in International Journal of Foundations of Computer Science

Authors: GIOVANNI PIGHIZZINI

Indexing ordered trees for (nonlinear) tree pattern matching by pushdown automata

JOURNAL ARTICLE published 2012 in Computer Science and Information Systems

Authors: J. Travnícek | J. Janousek | B. Melichar

Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata

JOURNAL ARTICLE published June 2013 in Acta Informatica

Authors: Benedek Nagy | Friedrich Otto

Deterministic Pushdown Automata

BOOK CHAPTER published 1977 in Automata and Computability

Authors: Dexter C. Kozen

A New Algorithm for the Determinisation of Visibly Pushdown Automata

PROCEEDINGS ARTICLE published 11 October 2015 in Annals of Computer Science and Information Systems

Authors: Radomír Polách | Jan Travniček | Jan Janoušek | Bořivoj Melichar

The equivalence problem for deterministic pushdown automata is decidable

BOOK CHAPTER published 1997 in Automata, Languages and Programming

Authors: Géraud Sénizergues

The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata

BOOK CHAPTER published 2009 in Languages: From Formal to Natural

Authors: Yulia Dubov | Michael Kaminski

6 Pushdown automata

BOOK CHAPTER published 19 January 2022 in Automata Theory and Formal Languages

Deterministic Pushdown Automata

BOOK CHAPTER published 1997 in Automata and Computability

Authors: Dexter C. Kozen

Syntactic analysis of CF-languages by deterministic pushdown automata

JOURNAL ARTICLE published 1976 in Cybernetics

Authors: A. Sh. Nepomnyashchaya

Subtree matching by pushdown automata

JOURNAL ARTICLE published 2010 in Computer Science and Information Systems

Authors: Tomás Flouri | Jan Janousek | Bořivoj Melichar