About

TI2320 (IN2505-II). Berekenbaarheidstheorie. "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."