Detail práce
Formal Models of Distributed Computation
Tato disertační práce představuje derivační stromy několika různých typů gramatik ve zobecněné Kurodově normální formě; jmenovitě obecné a regulárně řízené gramatiky, gramatiky s rozptýleným kontextem a spolupracující distribuované gramatické systémy. Definuje jednoduché stromové rysy založené na kontextových vlastnostech jednotlivých diskutovaných gramatik a dokazuje, že pokud existuje limitující konstanta k taková, že každá věta generovaného jazyka L odpovídá řetězci listových uzlů derivačního stromu, ve kterém je výskyt definovaných stromových rysů omezen konstantou k, jazyk L je ve skutečnosti bezkontextový. Tato práce dále ukazuje, že dosažený výsledek představuje silný nástroj důkazu bezkontextovosti jazyka. Vše je doplněno příklady praktického využití nástroje.
Obecné gramatiky, regulárně řízené bezkontextové gramatiky, gramatiky s rozptýleným kontextem, spolupracující distribuované gramatické systémy, normalní formy, derivační stromy, omezené derivační stromy, bezkontextovost, bezkontextovost konečného indexu.
@phdthesis{FITPT691, author = "Ond\v{r}ej Soukup", type = "Diserta\v{c}n\'{i} pr\'{a}ce", title = "Formal Models of Distributed Computation", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2017, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/phd-thesis/691/" }