Sumários
Aula Prática 1
30 setembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1 a) c) i) l), 1.2 a) b) l) m) q) e 1.3 a) b) l) m) q), 2.1 c) h) da lista de exercícios para a aula prática 1.
Aula Prática 2
29 setembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 2.1 c) h) i) j) k) da
lista de exercícios para a aula prática 1. Exercícios 1.2, 2.1 a), 2.2 da
lista de exercícios para a aula prática 2.
Aula Prática 2
28 setembro 2010, 12:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.2 l) m) q), 1.3 l) m) q), 2.1 c) h) i) j) k) da lista de exercícios para a aula prática 1. Exercícios 1.2, 2.1 a), 2.2 da lista de exercícios para a aula prática 2.
Aula Teórica 2
28 setembro 2010, 10:00 • Maria Paula Antunes Abrantes Gouveia
Reconhecimento e especificação de linguagens: exemplos motivadores. Alfabeto, palavra sobre um alfabeto, notação para o conjunto das palavras sobre um alfabeto, comprimento de palavra, linguagem sobre um alfabeto. Produto cartesiano de conjuntos. Autómato finito determinístico (afd): representação através de um grafo e definição algébrica. Exemplos: afd que reconhece endereços de correio electrónico (simplificados). Palavra aceite por afd. Linguagem reconhecida por afd. Linguagem regular.
Aula Teórica 2
28 setembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Reconhecimento e especificação de linguagens: exemplos motivadores. Alfabeto, palavra sobre um alfabeto, notação para o conjunto das palavras sobre um alfabeto, comprimento de palavra, linguagem sobre um alfabeto. Produto cartesiano de conjuntos. Autómato finito determinístico (afd): representação através de um grafo e definição algébrica. Exemplos: afd que reconhece endereços de correio electrónico (simplificados); afd que reconhece a linguagem das palvras binárias que têm um número ímpar de 1's. Palavra aceite por afd. Linguagem reconhecida por afd. Linguagem regular.