Tu je zoznam otazok, mozu sa vsak vyskytnut aj ine..
1. Konečno-automatové zobrazenia a ich vlastnosti
a. Sekvenčné, zachovávajúce dĺžku a pridružené zobrazenia
b. Realizovateľnosť zobrazenia konečným automatom
2. Nerodove ekvivalencie a ich použitie
3. Uzáverové operácie nad jazykmi
a. Elementárne uzáverove operácie nad triedami jazykov
b. Uzavretosť tried jazykov vzhľadom na zobrazenia
4. Turingovsky vypočítateľné funkcie ( + príklad )
5. Metódy konštrukcie Turingovho stroja
a. Pamätanie stavu ( + príklad )
b. M-stopový TS ( + príklad )
6. Modifikácie Turingovho stroja
7. Univerzálny TS, halting problem, dôkaz
8. Postov korešpondenčný problém, dôkaz
9. Algebra algoritmov
a. Logicko-funkcionálne modely
b. Báza, mono a poly-druhová algebra, algebraické systémy
10. Dijkstrova algebra
11. Algebra schém Janova a formalizácia procesu tvorby algoritmov
12. Graf-schémy algoritmov
13. Algebra logiky a problém funkcionálnej úplnosti
a. Algebra boolovských funkcií
b. Problém funkionálnej úplnosti systémov
14. Metaalgebra algoritmiky a štruktúra jej subalgebier
15. Kritérium funkcionálnej úplnosti v metaalgebre Dijkstry
16. Metapravidlá konštruovania schém a stratégií spracovania dát
a. Konvolúcia
b. Evolúcia
c. Transformácia