Tedomez' tariči «Tjuringan lugim»-modelid vl 1936, se om kuti abstraktine kompjuter ühthižiden metoiden täht, abuti formalizuida algoritm-tärtust.
Учёный предложил в 1936 году модель «чтения Тьюринга», которая представляет собой своего рода абстрактный компьютер для общих целей, помогая формализовать понятие алгоритма.