Егор Урванов

Алан Тьюринг

Формальная верификация · машина Тьюринга, 1936

Британский математик (1912–1954), один из основателей теории вычислений. В статье 1936 года «О вычислимых числах» описал машину Тьюринга — простейшую модель любой программы: лента с клетками и головка, которая читает, пишет и сдвигается по правилам. В той же работе показал, что есть вопросы о программах, на которые не ответит ни одна программа; отсюда проблема остановки, а из неё теорема Райса.

1011_01……головкаправило: прочитал 1 → пишет 0, шаг вправолента клетокАлан Тьюринг, 1936: модель любой программы● модель, люди, системы, данные  ● агент и харнессМашина Тьюринга: лента с клетками и головка, которая читает, пишет и сдвигается по правилам

Источник: Википедия: Алан Тьюринг

Где встречается · 2

Связанные термины

Весь глоссарий

© 2026 Егор Урванов