Linuxteaching
Turing
Turing Machines and Computability Theory
Hovedformen for beregbarhet som ble studert i beregbarhetsteori ble introdusert av Turing (1936). En funksjon f fra naturlige tall til naturlige tall ...