On regular tree languages and deterministic pushdown automata

The theory of formal string languages and of formal tree languages are both important parts of the theory of formal languages. Regular tree languages are recognized by finite tree automata. Trees in their postfix notation can be seen as strings. This paper presents a simple transformation from any g...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Acta informatica Jg. 46; H. 7; S. 533 - 547
Hauptverfasser:	Janoušek, Jan, Melichar, Bořivoj
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer-Verlag 01.11.2009 Springer Springer Nature B.V
Schlagworte:	Algorithmics. Computability. Computer arithmetics Algorithms Analysis Applied sciences Automation Combinatorics Combinatorics. Ordered structures Computer engineering Computer Science Computer science; control theory; systems Computer Systems Organization and Communication Networks Data Structures and Information Theory Decision trees Exact sciences and technology Generators Grammar Graph theory Information Systems and Communication Service Language Language theory and syntactical analysis Logics and Meanings of Programs Mathematics Miscellaneous Original Article Programming languages Sciences and techniques of general use Software Engineering/Programming and Operating Systems Studies Theoretical computing Theory of Computation Transition rules Trees Ground Term Tree Language Tree Automaton Transition Rule Grammar Rule Formal language Language theory Computer theory Context free language Deterministic automaton Finite automaton Regular language Tree automaton Implementation Parser Language class Tree Push down automaton LR grammar Generator Deterministic language
ISSN:	0001-5903, 1432-0525
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!