Kongruence pro stromové automaty

Simple item page
but.committeeprof. Ing. Jan M. Honzík, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. RNDr. Michal Novák, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) Ing. Igor Szőke, Ph.D. (člen)cs
but.defenceStudent 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. Student následně odpověděl 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í studenta na položené otázky rozhodla práci hodnotit stupněm dobře (C). Otázky u obhajoby: Vysvětlete proč Vámi implementovaný algoritmus ekvivalence zpracováva automaty zdola-nahoru, když VATA podporuje opačný formát? Co by bylo potřeba udělat, aby Vámi implementovaný algoritmus ekvivalence zpracovával automaty shora-dolů?cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorHolík, Lukášcs
dc.contributor.authorŽufan, Petrcs
dc.contributor.refereeJanků, Petrcs
dc.date.created2017cs
dc.description.abstractTento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.cs
dc.description.abstractThis thesis discusses testing of tree automata (TA) equivalence. We propose a new algorithm based on Bonchi Pouse's algorithm of word automata. The new algortihm combines bisimulation and determinization on the fly. Using an optimalization based on congruence closure, we try to avoid extreme expansion of state space. From this point of view, the new algorithm is better than others.en
dc.description.markCcs
dc.identifier.citationŽUFAN, P. Kongruence pro stromové automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.cs
dc.identifier.other106319cs
dc.identifier.urihttp://hdl.handle.net/11012/69852
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectautomatcs
dc.subjectstromový automatcs
dc.subjectinkluze jazykůcs
dc.subjectekvivalence jazykůcs
dc.subjectkongruencecs
dc.subjectstate machineen
dc.subjecttree automataen
dc.subjectlanguage inclusionen
dc.subjectlanguage equivalenceen
dc.subjectcongruenceen
dc.titleKongruence pro stromové automatycs
dc.title.alternativeCongruences for Tree Automataen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2017-06-13cs
dcterms.modified2020-05-10-16:12:59cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid106319en
sync.item.dbtypeZPen
sync.item.insts2025.03.18 19:22:50en
sync.item.modts2025.01.15 19:25:38en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs

Files

Original bundle

Now showing 1 - 4 of 4
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.49 MB
Format:
Adobe Portable Document Format
Description:
file final-thesis.pdf
Download
Thumbnail Image
Name:
Posudek-Vedouci prace-19744_v.pdf
Size:
89.58 KB
Format:
Adobe Portable Document Format
Description:
file Posudek-Vedouci prace-19744_v.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-19744_o.pdf
Size:
93.86 KB
Format:
Adobe Portable Document Format
Description:
file Posudek-Oponent prace-19744_o.pdf
Download
Thumbnail Image
Name:
review_106319.html
Size:
1.42 KB
Format:
Hypertext Markup Language
Description:
file review_106319.html
Download

Collections

2017