APED

13 outubro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves

Exercício 1.2.13 e 1.2.2.

Aula Teórica 5

12 outubro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia

Equivalência de afds: algoritmo de teste à equivalência de afds (ATEQ).

Autómatos finitos não deterministas (com e sem movimentos epsilon). Exemplos. Definição algébrica. Sequências aceites e linguagem reconhecida.

APED

12 outubro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves

Exercício 1.2.13 e 1.2.2.

Aula Teórica 4

10 outubro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia

Algoritmo de procura de estados distinguíveis - APED - (conclusão). Minimização de autómaos finitos deterministas.

APED

10 outubro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves

Exercício 1.2.13.