Абстрактные машины

Вики

Кривинский автомат

/

Кривошипная машина Определение и применение машины Кривина Машина Кривина — это абстрактная машина для вычисления нормальных форм в лямбда-исчислении.  Она

Вики

SECD-машина

/

Вторая машина Описание SECD-машины SECD-машина — это виртуальная машина, разработанная Питером Дж. Ландином в 1964 году.  Машина основана на стеке

Вики

Абстрактная машина

/

Абстрактная машина Определение и использование абстрактных машин Абстрактная машина — это математическая модель, которая описывает вычислительные процессы.  Она используется для

Вики

Машина Тьюринга

/

Машина Тьюринга Машина Тьюринга — абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году.  Машина Тьюринга состоит из ленты, головки

Прокрутить вверх