Detail práce

Prefixové omezení řízených gramatických systémů

Diplomová práce Student: Konečný Filip Akademický rok: 2007/2008 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
Prefix Restriction of Regulated Grammar Systems
Jazyk práce
český
Abstrakt

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

Klíčová slova

řízené gramatické systémy, omezení derivace, prefixové omezení, generativní síla

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
16. června 2008
Oponent
Lukáš Roman, Ing., Ph.D.
Komise
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), předseda
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT), člen
Herout Adam, prof. Ing., Ph.D. (UPGM FIT VUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Racek Stanislav, doc. Ing., CSc. (ZČU v Plzni), člen
Citace
KONEČNÝ, Filip. Prefixové omezení řízených gramatických systémů. Brno, 2008. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-16. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/6019/
BibTeX 
@mastersthesis{FITMT6019,
    author = "Filip Kone\v{c}n\'{y}",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Prefixov\'{e} omezen\'{i} \v{r}\'{i}zen\'{y}ch gramatick\'{y}ch syst\'{e}m\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6019/"
}

Závěrečné práce

Nahoru