Autómatos finitos

26 Setembro 2017, 09:30 Ana Respicio

Linguagens regulares: Autómatos finitos (AF). Definição formal de computação num AFD: Exemplos. Definição formal de linguagem de um autómato. Projetar AFs.
Não determinismo. AF não deterministas. Transições epsilon. Exemplos. 

Aprender: Sipser, 1.1, 1.2.
Praticar: Folha de exercícios 2.