Aula 10
9 Maio 2023, 10:00 • Isabel Gama Nunes
Universal Turing machines.
Examples of decidable languages.
(Sipser's book, Section 4.1)
Undecidability
(Sipser's book, Chapter 5)
Third individual evaluation test.
9 Maio 2023, 10:00 • Isabel Gama Nunes
Universal Turing machines.
Examples of decidable languages.
(Sipser's book, Section 4.1)
Undecidability
(Sipser's book, Chapter 5)
Third individual evaluation test.