Original title:
Prefixové omezení řízených gramatických systémů
Translated title:
Prefix Restriction of Regulated Grammar Systems
Authors:
Konečný, Filip ; Lukáš, Roman (referee) ; Meduna, Alexandr (advisor) Document type: Master’s theses
Year:
2008
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce studuje gramatické systémy, jejichž komponenty používají pravidla, která mají na levé straně ne jeden neterminál, ale řetězec neterminálů. Práce u těchto gramatických systémů zavádí tři omezení derivace. První vyžaduje, aby k derivaci v každé větné formě došlo v rámci prvních l symbolů v prvním spojitém bloku neterminálů. Druhé omezení definuje derivaci pro větné formy, které obsahují nejvýše m spojitých bloků neterminálů. Třetí omezení rozšiřuje druhé o podmínku, že každý takový blok může být nejvýše délky h. Hlavním výsledkem této práce jsou důkazy o zmenšení generativní síly gramatických systémů u dvou z těchto omezení.
This thesis studies grammar systems whose components use sequences of productions whose left-hand sides are formed by nonterminal strings, not just single nonterminals. It introduces three restrictions on the derivations in these grammar systems. The first restriction requires that all rewritten symbols occur within the first l symbols of the first continuous block of nonterminals in the sentential form during every derivation step. The second restriction defines derivations over sentential forms containing no more than m continuous blocks of nonterminals. The third restriction extends the second in the way that each sequence of nonterminals must be of length h or less. As its main result, the thesis demonstrates that two of these restrictions decrease the generative power of grammar systems.
Keywords:
derivation restriction; generative power; prefix restriction; regulated grammar systems; generativní síla; omezení derivace; prefixové omezení; řízené gramatické systémy
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/53147