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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Acta informatica Ročník 46; číslo 7; s. 533 - 547
Hlavní autoři:	Janoušek, Jan, Melichar, Bořivoj
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer-Verlag 01.11.2009 Springer Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!