Book chapter

MEDUNA Alexander. Finitely Expandable Deep PDAs. Automata, Formal Languages and Algebraic Systems. Hong Kong: Hong Kong University of Scinece and Technology, 2010, pp. 113-123. ISBN 981-4317-60-8.
Publication language:english
Original title:Finitely Expandable Deep PDAs
Title (cs):Hluboké zásobníkové automaty s konečnými expanzemi
Pages:113-123
Book:Automata, Formal Languages and Algebraic Systems
Place:Hong Kong, CN
Year:2010
ISBN:981-4317-60-8
Publisher:Hong Kong University of Scinece and Technology
Keywords
deep PDAs
Annotation
By finitely expandable deep PDAs, this book refers to any PDAs extended by additional mathematical mechanisms that prescribe the use of rules during the generation of their languages. The book pays a special attention to these six crucially important regulated grammars---regular-controlled grammars, matrix grammars, programmed grammars, random context grammars, scattered context grammars, and state grammars. More specifically, it primarily discusses algorithms that transform these grammars as well as some related regulated language-defining devices, such as regulated grammar systems and pushdown automata, so they satisfy some prescribed desirable properties while the generated languages remain unchanged. It also explains practical and theoretical significance of these transformations. In its conclusion, the book summarizes the main results of the entire book and put them into the context of formal language theory as a whole; in addition, it makes several bibliographical and historical remarks.
BibTeX:
@INBOOK{
   author = {Alexander Meduna},
   title = {Finitely Expandable Deep PDAs},
   pages = {113--123},
   booktitle = {Automata, Formal Languages and Algebraic Systems},
   year = {2010},
   location = {Hong Kong, CN},
   publisher = {Hong Kong University of Scinece and Technology},
   ISBN = {981-4317-60-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9522}
}

Your IPv4 address: 54.157.239.93
Switch to IPv6 connection

DNSSEC [dnssec]