Aula 9
2 Maio 2023, 10:00 • Isabel Gama Nunes
Variants of Turing machines.
Algorithms and Turing machines.
(Sipser's book, Sections 3.2, 3.3)
Examples of decidable languages.
Operations with decidable languages.
(Sipser's book, Section 4.1)
2 Maio 2023, 10:00 • Isabel Gama Nunes
Variants of Turing machines.
Algorithms and Turing machines.
(Sipser's book, Sections 3.2, 3.3)
Examples of decidable languages.
Operations with decidable languages.
(Sipser's book, Section 4.1)