Маленький человечек-компьютер
Маленький человечек-компьютер Обзор компьютера «Маленький человечек» (LMC) LMC — это учебная модель компьютера, разработанная в 1960-х годах для обучения студентов […]
Вики
Educational abstract machines
Вики
Кривинский автомат
Кривошипная машина Определение и применение машины Кривина Машина Кривина — это абстрактная машина для вычисления нормальных форм в лямбда-исчислении. Она
Вики
Машина Тьюринга
Машина Тьюринга Машина Тьюринга — абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году. Машина Тьюринга состоит из ленты, головки