Машина на Тюринг
From Wikipedia, the free encyclopedia
Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г.
Тюринг използва тази абстракция, за да даде първото точно определение на понятието алгоритъм (наричано още механична, формална или ефективна процедура). Машината се използва при доказването на основни резултати в компютърните науки, най-вече в областите изчислимост и сложност на алгоритмите, както и в математическата логика.