Sumários

3 Novembro 2017, 08:00 • Jorge Miguel Carvalho Gomes

Folha 7: exercícios 1, 2, 3, 4a)

31 Outubro 2017, 11:00 • Jorge Miguel Carvalho Gomes

Folha 7: exercícios 1, 2, 3, 4a)

31 Outubro 2017, 10:30 • Ana Respicio

Folha 7: exercícios 1, 2, 3, 4a)

31 Outubro 2017, 09:30 • Ana Respicio

Máquinas de Turing. Definição. Exemplo. Computação. Especificação ao nível de implementação e diagrama de estados.

Estudar: Sipser, cap 3; slides.

Praticar: Folha de exercícios 7, exercícios no final do cap 3, Sipser.

30 Outubro 2017, 08:00 • Jorge Miguel Carvalho Gomes

Gramáticas Independentes do Contexto e Autómatos de Pilha

Folha 5 - exs 3, 5 e 8

Folha 6 - exs 1 a), b), c), d).