Das von ihm entwickelte Berechenbarkeitsmodell der Turingmaschine bildet eines der Fundamente der Theoretischen Informatik.
das fɔn iːm ɛntvˈɪkəltə bərˌɛçənbˌaɾkaɪtsmoːdˈɛl dɛɾ tˌuːrɪŋmaʃˈiːnə bˈɪldət ˌaɪnəs dɛɾ fˌʊndamˈɛntə dɛɾ tˌeːoːrˈeːtɪʃən ˌɪnfɔɾmˈɑtiːk.