Expressões Regulares. Introdução aos Autómatos Finitos Não deterministas Generalizados. (AFNGs). Obter a expressão regular que representa a linguagem reconhecida por um AF. Algoritmo de conversão recorrendo a um AFNG. Exemplos.

Aprender: Sipser, 1.3. 

Exercitar: Folha de exercícios