Turing pinih mingaruhin ring parkembangan ilmu komputer teoretis, ngicen formalisasi konsep algoritma lan perhitungan nganggé mesin Turing, sané prasida kaanggap dados model komputer tetujon umum..
Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general purpose computer.