Úvod do teoretickej informatiky
Základné info
- účasť na cvičeniach je dobrovoľná,
- úlohy sa odovzdávajú na cvičeniach
- reklamácie opráv na/po cvičeniach/mailom,
- konzultácie po dohode (osobnej alebo mailom) - či už máte problém s nejakým príkladom z cvičení, literatúry alebo s DÚ
Študijné materiály
Zopár linkov alebo kníh, ktoré môžu poslúžiť pri príprave na predmet a na skúšku, ale aj pri domácich úlohách. (Pozn. treba vedieť vybrať, čo sme preberali, prípadne si dať pozor na iné značenie. Knižky sú k dispozícii v knižnici, ale dajú sa aj vyygoogliť.)
- stránka predmetu
- J. Hromkovič - Theoretical computer science
- B. Rovan, M. Forišek - Skriptá k FOJA
- P. Jančár - Skriptá k TI z Ostravy
- J. Hopcroft, et al - Introduction to Automata Theory, Languages, and Computation
- R. P. Grimaldi - Discrete and Combinatorial Mathematics, An Applied Introduction (Kapitola 6)
- Fun (alebo čo radšej neskúsať) - Dôkazy 1, dôkazy 2
- RegEx
- JFLAP - aplikácia na vytváranie a experimentovanies s DKA, NKA, TS, ale aj gramatikami a regulárnymi výrazmi
Príklady z cvičení
... sem postupne budú pribúdať príklady z cvičení {hviezdičkou sú označené príklady, ktoré sme na cvikách nestihli, alebo nedokončili}
- Cvičenie 1 - abecedy, slová, počty a vytváranie slov podľa pravidiel, počty podslov (prefixov, sufixov)
- Cvičenie 2 - jazyky, operácie na jazykoch, plus úvod k deterministickým automatom s riešením
- Cvičenie 3 - spojené s doc. Lackom v miestnosti A
- Cvičenie 4 - automaty, KL množiny, dôkaz správnosti automatov, modulárna konštrukcia
- Cvičenie 5 - modulárna konštrukcia, dôkazy neregulárnosti jazykov
- Cvičenie 6 - dôkazy neregulárnosti jazykov - s dr. Bezákovou
- Cvičenie 7 - nedeterministické konečné automaty, normálový tvar NKA, spájanie automatov (úvod)
- Cvičenie 8 - spájanie automatov, úvod k deterministickým obyčajným Turingovým strojom
© Lucia Budinská | 2025
Template from TEMPLATED.