Універсальна машина Тюрінга

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Універсальна машина Тьюрінга(УМТ) це така машина Тюрінга(МТ) яка може замінити собою будь-яку машину Тьюрінга. Отримавши на вхід програму машини Тьюрінга і вхідні дані, вона вирахує результат котрий вирахувала б МТ програма якої була подана на вхід. Концепція даної машини була запропонована Аланом Тьюрінгом у 1936. У 1937 році Алан Тьюрінг довів що УМТ під силу розв'язувати практично необмежену кількість задач.

Особливості[ред.ред. код]

УМТ на відміну від МТ на стрічці зберігає не лише дані для опрацювання але зберігає і алгоритми обробки даних(програми для МТ). УМТ має свою таблицю переходів згідно котрої вона може зчитувати зі стрічки алгоритм для МТ і виконувати його згідно своїх внутрішніх правил.

Використання[ред.ред. код]

  • Стек процесора - у стеку і дані і програмний код знаходяться поряд і процесор над ними може робити однакові операції, дана можливість дуже важлива для самомодифікації коду.

Посилання[ред.ред. код]


Див. також[ред.ред. код]