Sumários
Exercícios sobre máquinas de Turing
24 Novembro 2020, 10:30 • Andreia Mordido
Resolução de exercícios sobre máquinas de Turing.
Resolução do 3º exercício prático.
Aula em regime misto alternado.
Indecidibilidade
24 Novembro 2020, 09:30 • André Souto
Decidibilidade de linguagens baseadas em linguagens livres de contexto.
Introdução aos problemas indecidíveis.
O problema de aceitação em máquinas de Turing.
Prova que é Turing-reconhecível.
Periplo para a demonstração que é indecidível.
Argumentos de diagonalização.
Noção de conjunto enumerável.
Exemplos de conjuntos enumeráveis: N, Z e Q, conjunto das máquinas de Turing e de todas as strings.
Prova que R e que o conjunto das sequências infinitas e consequentemente o conjunto de todas as linguagnes não é numerável.Aula em regime não presencial síncrono e trasmitida via Zoom.
Exercícios sobre máquinas de Turing
23 Novembro 2020, 08:00 • André Souto
Resolução de exercícios sobre máquinas de Turing.
Resolução do 3º exercício prático sobre máquinas de Turing de computação.
Aula em regime alternado misto com transmissão via zoom.
Resolução de exercícios sobre máquinas de Turing.
20 Novembro 2020, 11:30 • André Souto
Resolução de exercícios sobre máquinas de Turing.
Aula em regime alternado misto com transmissão via zoom.
Resolução de exercícios sobre máquinas de Turing.
20 Novembro 2020, 08:00 • André Souto
Resolução de exercícios sobre máquinas de Turing.
Aula em regime alternado misto com transmissão via zoom.