Aula Teórica 5

12 outubro 2010, 10:00 • Maria Paula Antunes Abrantes Gouveia

Lema da bombagem para linguagens regulares: enunciado e prova.

Aula Teórica 5

12 outubro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia

Lema da bombagem para linguagens regulares: enunciado e prova. Prova de que a linguagem 0^n1^n não é regular.

Aula Prática 4

12 outubro 2010, 08:30 • Manuel Biscaia Martins

Exercícios Resolvidos:

Ficha 4:

I 2.; 3; 

II 1.a); 1 b); 2 a); 2 b).

Aula Prática 3

8 outubro 2010, 12:00 • Manuel Biscaia Martins

Exercícios Resolvidos da Ficha 3:

1.1.a); 1.1.b);1.4.

Completação de um autómato finito determinístico. Aplicação de operação de transformação para a obtenção do autómato finito determinístico que aceita o complemento de uma linguagem aceite por um autómato finito determinístico.

3.2.c); 4.1.

Aula Prática 3

7 outubro 2010, 14:30 • Maria Paula Antunes Abrantes Gouveia

Exercícios 1.1 a) b), 1.4, 3.2 c) d) da   lista de exercícios para a aula prática 3. Noção de completação de um afd a propósito do exercício 1.1b).