|
|
Omezení větných forem gramatik s rozptýleným kontextem
Šimáček, Jiří ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí pojem zobecněných gramatik s rozptýleným kontextem, které se od tradičních liší tím, že levé strany pravidel mohou obecně obsahovat řetězec neterminálních symbolů namísto jediného neterminálu. Dále jsou studovány dva typy omezení při větné derivaci v těchto gramatikách. Nechť k je konstanta. První omezení požaduje, aby přepsání všech symbolů nastalo mezi prvními k symboly v prvním souvislém bloku neterminálů ve větné formě v každém derivačním kroku. Druhé omezení definuje derivaci pouze nad větnými formami, které obsahují nejvýše k výskytů neterminálů. Jako hlavní výsledek práce demonstruje, že oba typy omezení snižují vyjadřovací sílu na úroveň bezkontextových gramatik.
|
|
|
Prefixové omezení řízených gramatických systémů
Konečný, Filip ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
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í.
|
|
|
Omezení větných forem gramatik s rozptýleným kontextem
Šimáček, Jiří ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí pojem zobecněných gramatik s rozptýleným kontextem, které se od tradičních liší tím, že levé strany pravidel mohou obecně obsahovat řetězec neterminálních symbolů namísto jediného neterminálu. Dále jsou studovány dva typy omezení při větné derivaci v těchto gramatikách. Nechť k je konstanta. První omezení požaduje, aby přepsání všech symbolů nastalo mezi prvními k symboly v prvním souvislém bloku neterminálů ve větné formě v každém derivačním kroku. Druhé omezení definuje derivaci pouze nad větnými formami, které obsahují nejvýše k výskytů neterminálů. Jako hlavní výsledek práce demonstruje, že oba typy omezení snižují vyjadřovací sílu na úroveň bezkontextových gramatik.
|
|
|
Prefixové omezení řízených gramatických systémů
Konečný, Filip ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
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í.
|
host ::
RSS.