In it he stated another notion of "effective computability" with the introduction of his a-machines (now known as the Turing machine abstract computational model).
У њој је навео још један појам "ефективне израчунљивости" са увођењем својих А-машина (сада познате као Тјурингова машина - апстрактан рачунарски модел).