Detail práce
Alternativní transformace jazykových modelů
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
formální jazyky, matematické modely, konečné automaty, regulární výrazy, transformace, alternativní transformace
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Komise hodnotila práci stupněm 4F, protože práce má minimální rozsah, řadu formálních a typografických nedostatků. Student práci prezentoval nepřesvědčivě a výtky komise nedokázal vyvrátit. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující.
- Aké sú hlavné využitia navrhnutých alternatívnych transformácii?
Dotazy k nesprávnosti formálních zápisů konečných automatů v prezentaci. Dotazy ke srovnání s existujícími algoritmy. Dotaz k výtce oponentky ohledně citací v textové části práce. Dotaz k návrhu a implementaci nástroje. Dotaz ke správnosti důkazu v textové části práce.
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), člen
@bachelorsthesis{FITBT22211,
author = "Martin Havel",
type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
title = "Alternativn\'{i} transformace jazykov\'{y}ch model\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 = 2021,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/22211/"
}