Přednáška

• Potřeba formalizace pojmu algoritmus
• Pojem formálního jazyka jako prvního kroku k definici pojmu algoritmu

Cvičení

• základní pojmy z formálních jazyků – abeceda, slovo, jazyk
• základní operace se slovy (zřetězení, mocnina) a jazyky (množinové operace, zřetězení, mocnina, iterace)
• jak souvisí problémy a jazyky; příklad na převod obecného výpočetního problému na problém příslušnosti do jazyka

Literatura

P. Jančar  kapitola 2

P. Jančar  kapitola 2