Přístupnostní navigace
E-application
Search Search Close
Publication detail
MEDUNA, A. ZEMEK, P.
Original Title
One-Sided Random Context Grammars with Leftmost Derivations
Type
book chapter
Language
English
Original Abstract
In this paper, we study the generative power of one-sided random context grammars working in a leftmost way. More specifically, by analogy with the three well-known types of leftmost derivations in regulated grammars, we introduce three types of leftmost derivations to one-sided random context grammars and prove the following three results. (I) One-sided random context grammars with type-1 leftmost derivations characterize the family of context-free languages. (II) One-sided random context grammars with type-2 and type-3 leftmost derivations characterize the family of recursively enumerable languages. (III) Propagating one-sided random context grammars with type-2 and type-3 leftmost derivations characterize the family of context-sensitive languages. In the conclusion, the generative power of random context grammars and one-sided random context grammars with leftmost derivations is compared.
Keywords
formal languages, regulated rewriting, one-sided random context grammars, leftmost derivations, generative power
Authors
MEDUNA, A.; ZEMEK, P.
RIV year
2012
Released
1. 7. 2012
Publisher
Springer Verlag
Location
Berlin-Heidelberg
ISBN
978-3-642-31643-2
Book
LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Pages from
160
Pages to
173
Pages count
14
URL
https://www.scopus.com/record/display.uri?eid=2-s2.0-84867018824&origin=resultslist
BibTex
@inbook{BUT96922, author="Alexandr {Meduna} and Petr {Zemek}", title="One-Sided Random Context Grammars with Leftmost Derivations", booktitle="LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday", year="2012", publisher="Springer Verlag", address="Berlin-Heidelberg", pages="160--173", doi="10.1007/978-3-642-31644-9\{_}11", isbn="978-3-642-31643-2", url="https://www.scopus.com/record/display.uri?eid=2-s2.0-84867018824&origin=resultslist" }