Sumários

23 Novembro 2021, 10:30 • André Souto

Resolução de exercícios sobre máquinas de Turing.

Resolução de exercícios com máquina de computação e de decisão.

Resolução do 3º exercício TP

23 Novembro 2021, 09:30 • André Souto

Recapitulação de linguagens Turing-reconhecíveis e Turing-decidíveis.

Definição de linguagem indecídível.

Linguagens de aceitação A_, de reconhecimento da linguagem vazia E_ e de igualdade de linguagens reconhecidas EQ_.

Decidibilidade de linguagens baseadas em autómatos e expressões regulares.

Decidibilidade de linguagens baseadas em gramáticas livres de contexto.

Estudar a secção 4.1 do sipser.

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

Exercícios sobre Máquinas de Turing: uso de outras máquinas como sub-rotinas.

Exercício de avaliação contínua

19 Novembro 2021, 11:30 • André Souto

Resolução de exercícios sobre máquinas de Turing. Resolução de exercícios com máquina de computação.

19 Novembro 2021, 08:00 • André Souto

Resolução de exercícios sobre máquinas de Turing. Resolução de exercícios com máquina de computação.