Priloha k bakalarskej praci Stavová zložitosť deterministických a nedeterministických konečných automatov


Na tomto DVD sa nachadzaju nasledujuce veci:

zlozka Bakalarka - obsahuje program pouzity na zrealizovanie experimentov popisanych v bakalarskej praci, je vo forme
NetBeans projektu v jazyku Java, ktory staci naimportovat

5StateNFAvsDFA_1mld.txt - vysledky samplovania pre 1 miliardu vygenerovanych nahodnych 5-stavovych NKA - ku kazdemu najdenemu jazyku je v jednom riadku pocet stavov min. NKA a min DKA oddeleny medzerou
5StateNFAvsDFA_5mld.txt - to iste pre 5 miliard samplov
automataHashes.txt - kody minimalnych DKA k najdenym jazykom s nedeterministickou zlozitostou najviac 4 - subor pre jeho velkost (1.9GB) najdete na DVD v kniznici, pripadne kontaktujte autora (rafael.korbas@gmail.com)
minNFAvsMindDFA.txt - pre najdene jazyky s nedeterministickou zlozitostou najviac 4 je v kazdom riadku pocet stavov min. NKA a min. DKA

Tieto subory su produktom programu, ktory sme prilozili, pripadne sa daju pren pouzit ako vstup v urictych experimentoch, ostatne veci, co tu neprikladame je program schopny v kratkom case vyratat



Rafael Korbas, rafael.korbas@gmail.com, 2014