"In this lecture the notion of Turing machine is introduced as a mathematical model of an algorithm. Furthermore, the notions of Turing-recognisable and decidable languages are defined."
"In this lecture the notion of Turing machine is introduced as a mathematical model of an algorithm. Furthermore, the notions of Turing-recognisable and decidable languages are defined."