Sumários

14 Novembro 2018, 08:00 • André Souto

Resolução de exercícios da folha nº6 sobre autómatos de pilha e gramáticas.

Exercício para avaliação contínua.

13 Novembro 2018, 11:00 • Andreia Mordido

Resolução de exercícios da folha nº6 sobre autómatos de pilha e gramáticas.

Exercício para avaliação contínua.

13 Novembro 2018, 10:30 • André Souto

Resolução de exercícios da folha nº6 sobre autómatos de pilha e gramáticas.

Exercício para avaliação contínua.

13 Novembro 2018, 09:30 • André Souto

Motivação para considerar as Máquinas de Turing.

A Tese de Church-Turing.

Noção intuitiva de Máquina de Turing.

Diferenças paras autómatos finitos.

Périplo para a definição de máquina de Turing.

Exemplos.

Definição formal de Máquina de Turing.

Definição de computação numa máquina de Turing.

Exemplos.

Estudar secção 3.1 do Sipser.

12 Novembro 2018, 08:00 • André Souto

Resolução de exercícios da folha nº6 sobre autómatos de pilha e gramáticas.

Exercício para avaliação contínua.