1 / 7

Zreťazenie formálnych jazykov a ich stavová zložitosť

Erik Dorčák Vedúci práce: Mgr. Juraj Šebej. Zreťazenie formálnych jazykov a ich stavová zložitosť. Motivácia. Záujem o oblasť automatov Práca sa týka ako informatiky, tak aj matematiky Možnosť pokračovať v téme aj pri diplomovej práci. Ciele. Naštudovať literatúru pre danú tematiku

neo
Télécharger la présentation

Zreťazenie formálnych jazykov a ich stavová zložitosť

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Erik Dorčák Vedúci práce: Mgr. Juraj Šebej Zreťazenie formálnych jazykov a ich stavová zložitosť

  2. Motivácia • Záujem o oblasť automatov • Práca sa týka ako informatiky, tak aj matematiky • Možnosť pokračovať v téme aj pri diplomovej práci

  3. Ciele • Naštudovať literatúru pre danú tematiku • Skúmať zreťazenie jazykov reprezentovaných deterministickými konečno stavovými automatmi • Preskúmať zložitosť zreťazenia binárnych jazykov reprezentovaných 2-, 3- , 4-, a 5-stavovými automatmi

  4. Ciele • Zistiť čí pre ľubovoľné n a m všetky hodnoty v rozsahu môžu byť stavovou zložitosťou nejakého jazyka reprezentovaného ako zreťazenie m-stavového a n-stavového deterministického automatu definovaného nad abecedou ľubovoľnej veľkosť. • Naprogramovať aplikáciu pre prácu s týmito automatmi

  5. Stavová zložitosť • Predpokladajme, že automaty A, B reprezentujú formálne jazyky nad tou istou binárnou abecedou ∑ • Vytvoríme ich zreťazenie, pokiaľ nejde o minimálny automat, tak ho zminimalizujeme • Počet stavov zminimalizovaného automatu tvorí hodnotu stavovej zložitosti

  6. Literatúra • 1.Geffert, V.: Magicnumbers in the state hierarchyoffinite automata. Inform. Comput. 205, 1652-1670 (2005) • 2. Yu, S., Zhuang, Q., Salomaa, K.: The state complexityofsomebasicoperations on regularlanguages. Theoret. Comput. Sci. 125, 315{328 (1994) • 3. Maslov, A.N.: Estimatesofthenumberofstatesoffinite automata. Soviet Math. Doklady 11, 1373-1375 (1970)

  7. Ďakujem za pozornosť

More Related