Тема: Реализация машины Тьюринга на функциональном языке

2.3 Детерминированность. 2.4 Автоматы и регулярные языки . 3. Функциональные модели и блок-схемы...
...основное) запоминающее устройство, входящие в состав машины Тьюринга , делают ее машиной с ограниченным числом состояний, то есть самым настоящим...

Статья Андерсона [1], которому, видимо, принадлежит сама идея схемной реализации языка ...
Поэтому первым строгим определением алгоритма явилось именно понятие машины (автомата) Тьюринга (1936г.). В отличие от этой чисто математической абстракции в...