Autómatos Finitos (AFDS e AFNDs)

27 Setembro 2016, 09:30 Ana Respicio

Linguagens regulares. Definição Formal de AFD. Definição formal de computação num AFD: Exemplos. As operações regulares: união, concatenação e fecho (estrela).Linguagens regulares. 
AFDNs. Não determinismo. AF não deterministas. Transições epsilon. Exemplos. Árvores de transição. Computação num AFND.

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