Sumários
Construção de AFDs
3 outubro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1.3 a), 1.1.5 a), 1.1.9 a), 1.1.17. Referência ao produto de autómatos.
Construção de AFDs
3 outubro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.1.3 a), 1.1.5 a), 1.1.9 a), 1.1.17. Referência ao produto e complementação de autómatos.
Construção de AFDs
2 outubro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.1.3 a), 1.1.5 a), 1.1.9 a) e 1.1.16 a).
Aula Teórica 2
28 setembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Exemplos de autómatos finitos deterministas. Definição algébrica de autómato finito determinista. Caminho num autómato.
Aula Teórica 1
26 setembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Apresentação da disciplina: conteúdo, métodos de avaliação, bibliografia. Definição e reconhecimento de linguagens: exemplos motivadores; autómato finito determinista.