Inference skákajících formálních modelů

Název anglicky

Jumping Formal Models Inference

Jazyk práce

český

Abstrakt

Práce se věnuje gramatické inferenci z hlediska evolučních algoritmů pro skákající formální modely. Nejdříve vysvětluje skákající formální modely, které se dělí na skákající gramatiky a skákající automaty. Poté popisuje gramatickou inferenci, evoluční algoritmy a všechny jejich důležité části, jako je generování řetězců a zjišťování členství řetězce do jazyka definovaného automatem. Daný algoritmus se pak aplikuje na vybrané druhy skákajících konečných automatů. Těmi jsou skákající konečné automaty, zobecněné skákající konečné automaty a doprava jednosměrně skákající konečné automaty. Testovány byly čtyři typy skákajících automatů a celkem bylo provedeno šestnáct experimentů. Z výsledků vyplývá, že inference fungovala nejlépe pro automaty bez větvení, a pro ty obsahující malé množství stavů a malou vstupní abecedu.

Klíčová slova

Skákající modely, skákající automaty, evoluční algoritmy, gramatická inference

Ústav

Ústav informačních systémů FIT VUT v Brně

Studijní program

Informační technologie a umělá inteligence, specializace Inteligentní zařízení

Soubory

Stav

obhájeno, hodnocení D

Obhajoba

21. června 2022

Oponent

Bidlo Michal, doc. Ing., Ph.D.

Průběh obhajoby

Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm D.

Otázky u obhajoby

Jak je možné, že se automat v příkladu na str. 11 "nemůže vrátit ke čtení znaků a", když má řetězec podobu "cyklického bufferu"?
Jakým způsobem "Předem určíme maximální počet stavů Q" (str. 16)?
Můžete uvést výpočet velikosti prohledávaného prostoru pro nejnáročnější z Vašich experimentů?

Komise

Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT), předseda
Bidlo Michal, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Burgetová Ivana, Ing., Ph.D. (UIFS FIT VUT), člen
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT), člen
Matoušek Radomil, doc. Ing., Ph.D. (ÚAI FSI VUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT), člen

Citace

HEINDLOVÁ, Tina. Inference skákajících formálních modelů. Brno, 2022. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-06-21. Vedoucí práce Křivka Zbyněk. Dostupné z: https://www.fit.vut.cz/study/thesis/24429/

BibTeX

@mastersthesis{FITMT24429,
    author = "Tina Heindlov\'{a}",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Inference sk\'{a}kaj\'{i}c\'{i}ch form\'{a}ln\'{i}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 = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/24429/"
}