Exercícios folha 5

10 Novembro 2021, 08:00 • André Souto

Resolução de exercícios sobre autómatos de pilha.

Resolução do 2º exercício TP.

Exercícios folha 5

9 Novembro 2021, 10:30 • André Souto

Resolução de exercícios sobre autómatos de pilha.

Resolução do 2º exercício TP.

Máquinas de Turing

9 Novembro 2021, 09:30 • André Souto

Recordar a definição formal de máquina de Turing, de configuração e computação numa máquina de Turing.

Linguagem reconhecível por uma máquina de Turing.Noção de linguagem Turing-reconhecível.Máquinas de Turing de decisão.Noção de linguagem Turing-decidível.Prova que toda a linguagem Turing-decidível é Turing-reconhecível.

Autómatos de Pilha

8 Novembro 2021, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios sobre Autómatos de Pilha.

Exercícios folha 4 e 5

5 Novembro 2021, 11:30 • André Souto

Resolução de exercícios da 4ª folha e folha 5 sobre forma normal de Chomsky e autómatos de pilha.