Sumários
Aula Teórica 11
2 novembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Sistema Mathematica: conclusão. Funções bijectivas e conjuntos numeráveis. Computabilidade: motivação. Referência a diferentes modelos de computação. Postulado de Church-Turing. Breve descrição da máquina URM, comandos URM e programas URM. Programa URM que calcula a função soma.
Gramáticas independentes do contexto e Expressões regulares
2 novembro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios: 2.2.6, 2.2.8, 3.1.a), 3.3 d) e) g) h) j), 3.12 c) iv) e v). Construção de programa em Mathematica.
Aula Teórica 10
31 outubro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
O sistema Mathematica: desenvolvimento de pequenos programas imperativos.
Gramáticas independentes do contexto e Expressões regulares
31 outubro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios: 2.2.6, 2.2.8, 3.1.a), 3.3 d) e) g) h) j), Exercício Extra 1: construir os afnds que reconhecem as linguagens geradas pelas gramáticas dos exercícios 2.1.3 c) e g).
Expressões regulares
31 outubro 2006, 08:30 • 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 sobre expressões regulares: 3.1a) (alguns exemplos), 3.3 d) e) g) h), 3.12 c iv) e v).