Sumários
Expressões regulares
30 outubro 2006, 11:00 • Maria Paula Antunes Abrantes Gouveia
Construção de gramática regular que gere exactamente a linguagem reconhecida pelo AFND construído no exercício 1.3.5 (semana passada). Construção de AFND que reconhece exactamente a linguagem gerada pela gramática construida no exercício 2.1.3 g). Exercícios 3.1, 3.3 d), e), h), j), n) e 3.12 c) iv) e v).
Gramáticas.
27 outubro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves
Exercícios 2.1.2 (ii), 2.2.2 (i), 2.1.3 c) g), 2.2.6 e 2.2.8. Construção de gramática regular que gere exactamente a linguagem reconhecida pelo AFND construído no exercício 1.3.5 (semana passada). Construção de AFND que reconhece exactamente a linguagem gerada pela gramática construida no exercício 2.1.3 g).
Aula Teórica 9
26 outubro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Introdução ao sistema Mathematica: notebooks, avaliação de expressões, utilização do sistema como instrumento de cálculo e visualização gráfica, expressões básicas, definição de funções por abstracção funcional, listas e operações sobre listas.
Gramáticas
26 outubro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 2.1.2 (ii), 2.2.2 (i), 2.1.3 c) g), 2.2.6 e 2.2.8.
Aula Teórica 8
24 outubro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Expressões regulares: conjunto das expressões regulares sobre um alfabeto, linguagem denotada por expressão regular, equivalência de expressões regulares. Exemplos. Hierarquia de Chomsky. Esboço da construção de um afnd para a linguagem gerada por uma gramática regular dada. Esboço da construção de uma gramática regular que gera a linguagem reconhecida por um afnd dado. Esboço da construção de um afnd para a linguagem denotada por uma expressão regular dada.