Turing

Turing Machines en Computability Theory
De belangrijkste vorm van berekenbaarheid die in de berekenbaarheidstheorie wordt bestudeerd, werd geïntroduceerd door Turing (1936). Een functie f va...