Sumários
Aula prática 3
30 outubro 2007, 12:30 • Ricardo Joao Rodrigues Goncalves
APED e minimização: resolução dos exercícios 1.2.14, 1.2.2, 1.2.17.
Aula Teórica 4
30 outubro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia
Autómato ut(D). Estados equivalentes e estados distinguíveis. Exemplos. Algoritmo de procura de estados distinguíveis (APED). Exemplo de aplicação do APED.
Aula Prática 2
25 outubro 2007, 13:30 • Maria Paula Antunes Abrantes Gouveia
Construção de autómatos finitos deterministas. Exercícios 1.1.5 a) (conclusão), 1.1.7a) b), 1.1.9 e 1.1.17.
Aula Prática 2
25 outubro 2007, 13:30 • Ricardo Joao Rodrigues Goncalves
Construção de autómatos finitos deterministas. Exercícios 1.1.7a) e b), 1.1.9 e 1.1.17.
Aula Teórica 3
25 outubro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia
Muito breve apresentação de algumas características do sistema Mathematica ( notebook ). Exemplo de implementação em Mathematica de um autómato finito determinista, da respectiva função de transição estendida e do predicado "palavra aceite" ( notebook). Estados produtivos, estados acessíveis, estados úteis e estados inúteis. Exemplos