Sumários

14 Novembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 6

Exercícios 1a, b, c, d, e, f, g, 4

11 Novembro 2016, 11:30 • Alexandre Miguel dos Santos Martins Pinto

Folha 6

Exercícios 1a, b, c, d, e, f, g, 4

11 Novembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 6

Exercícios 1a, b, c, d, e, f, g, 4

9 Novembro 2016, 09:30 • Ana Respicio

Autómatos de Pilha. Equivalência entre autómatos de pilha e gramáticas independentes do contexto.

Máquina de Turing. Introdução. Definição do modelo padrão. Exemplo: máquina de Turing que reconhece palavras da forma w#w.

Níveis de especificação.

9 Novembro 2016, 08:00 • Ana Respicio

Folha 5 - exercícios 4, 7, 8, 9.

Folha 6 - exercícios 1a até 1e)