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).
В ней он задал понятие «эффективной вычислимости» по другому, с введением его а-машин (теперь они известны как абстрактная вычислительная модель машины Тьюринга).