1. Pojem formálního jazyka jako prvního kroku k definici pojmu algoritmus
2. Konečný automat  - definice, příklady

LIteratura: 

P.  Jančar kapitola 2 (formální jazyk), kapitoly 3.1. (motivační příklady) a 3.2 (definice konečného automatu)

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