Sumários
Aula Teórica 5
4 outubro 2012, 12:00 • Maria Paula Antunes Abrantes Gouveia
Linguagens regulares. Tentativa de construção de um autómato finito determinístico para a linguagem \(0^n1^n\) com \(n\in\mathbb{N}_0\). Existência de linguagens não regulares. Lema da bombagem para linguagens regulares: enunciado e demonstração.
Autómatos finitos não deterministas: exercícios
4 outubro 2012, 12:00 • João Rasga
Resolução dos exercícios: 2.2.d e 2.4.b da folha de exercícios da aula prática 2, e 3.4.a, 3.3.d, 3.3.e e 4.2 da folha de exercícios da aula prática 3.
Aula Teórica 5
4 outubro 2012, 10:30 • Maria Paula Antunes Abrantes Gouveia
Linguagens regulares. Tentativa de construção de um autómato finito determinístico para a linguagem \(0^n1^n\) com \(n\in\mathbb{N}_0\). Existência de linguagens não regulares. Lema da bombagem para linguagens regulares: enunciado e demonstração.
Aula Prática 3
4 outubro 2012, 08:30 • Maria Paula Antunes Abrantes Gouveia
Correcção do TPC: exercícios 2.3 c) 2.4 a) b) da lista de exercícios para a aula prática 2. Exercícios 3.3 d) e), 3.4 a) lista de exercícios para a aula prática 3.
Aula Prática 3
3 outubro 2012, 08:30 • Maria Paula Antunes Abrantes Gouveia
Correcção do TPC: exercícios 2.4 a) b) da lista de exercícios para a aula prática 2. Exercícios 3.3 d) e), 3.4 a) e 4.2 da lista de exercícios para a aula prática 3.