Máquina de Turing Universal e exemplos de linguagens decidíveis baseadas em autómatos.

18 Novembro 2020, 09:30 André Souto

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

Definição de linguagem indecídível.
Exemplos de linguagens baseadas em autómatos e expressões regulares que são decidíveis: linguagem de aceitação, a linguagem vazia e igualdade.

Estudar a secção 4.1 do sipser.

A aula foi dada em regime síncrono não presencial com transmissão via Zoom.