Operações com linguagens decidívies. Codificações de MT.
17 Novembro 2020, 09:30 • André Souto
Operações com linguagens decidívies.
O 10º problema de Hilbert e a tese de Church Turing.
Noção de algoritmo e descrição de alto nível de uma máquina de Turing.
Noção de codificação para inputs de máquinas de Turing.
Exemplos de codificação em grafos e máquina que decide a linguagem dos grafos conexos.
Estudar a secção 3.2 e 3.1 do Sipser.
Aula em regime não presencial síncrono e trasmitida via Zoom.