3.1.4. Машини Поста

Ідея машини полягає у тому, що:

1) алгоритмічні процеси є послідовністю досить простих «механічних» операцій;

2) на результат не впливає, хто виконує алгоритм і скільки разів, — він завжди один і той самий;

3) отже, алгоритмічні процеси може виконувати машина.

Таким чином, можна винайти машину, яка вміє виконувати певний набір операцій. Яких? Якою повинна бути сукупність операцій, щоб можна було реалізувати або імітувати будь-які алгоритмічні процеси?

В гіпотетичній (умовній) машині Поста (1936 р.) інформацію представляють у двійковому алфавіті А = {1,0}. Вона має інформаційну стрічку необмеженої довжини — пам’ять машини. Стрічка по­ділена на окремі комірки. В кожній комірці можна розмістити 0 або 1.

Машина має «зчитувальну головку» (спеціальний чутливий елемент), яка оглядає зміст однієї комірки. Інформаційна стрічка переміщується в обидва боки так, щоб у кожний момент часу головка знаходилась навпроти однієї певної комірки стрічки.

Машина має керуючий пристрій, який у кожний момент часу перебуває у певному стані. Таких станів є скінченна множина. Один із таких станів є заключним і керує завершенням роботи машини.

q j

Керуючий пристрій знаходиться у стані q, «зчитувальна головка» оглядає j-ту комірку.

Машина може виконувати певний перелік правил (або наказів). Машина Поста може виконувати 6 типів наказів:

1. Записати у розглядувану комірку 1 та перейти до i-го наказу.

2. Записати у розглядувану комірку 0 та перейти до i-го наказу.

3. Зсунути стрічку праворуч на 1 комірку та перейти до i-го наказу.

4. Зсунути стрічку ліворуч на 1 комірку та перейти до i-го наказу.

5. Якщо у розглядуваній комірці записано 1, то перейти до i-го наказу, а якщо 0 — то перейти до j-го наказу.

6. Останов. Закінчення роботи алгоритму.

Алгоритми, побудовані з будь-якого скінченного числа правил машини Поста, називають алгоритмами Поста. Вони можуть бути зведені до алгоритмів, побудованих у системі рекурсивних функцій (і навпаки).

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

Машина Тьюринга відрізняється від машини Поста тим, що алфавіт може мати більше двох символів. Взагалі перелік операцій може бути розширений. Наприклад, додати команди зміни змісту комірки перед просуванням стрічки пам’яті (стандартна машина Тьюринга). Тобто будь-яка команда машини Тьюринга може бути представлена як послідовність команд машини Поста.

Нехай алфавіт машини Тьюринга А = (S₀, S₁, ..., S_n), де S₀ = ; сукупність станів — це множина Q = {q₀, q₁, ..., q_m},

де q₀ — заключний стан;

А — зовнішній алфавіт машини;

Q — внутрішній алфавіт.

У кожний момент часу машина має певну послідовність станів комірок та 1 стан керуючого пристрою, а зчитувальна головка знаходиться навпроти якоїсь комірки. Сукупність усіх елементів, що визначають стан машини, називають конфігурацією машини.

Наприклад:

q_i

S0

Sj

Sj

Sj

...

Sj

Sj

Sj

S0

1 2 3 ... ... ... k ... ... ... ... r-1 r

Конфігурація машини у вигляді слова:

... S₀ S_j1 S_j2 S_j3 ... q_j S_jk ... S_jr-1 S_jr S₀ ... ,

де S₀ — пуста комірка,

S_{j1 —} стан (зміст) першої непустої лівої комірки;

S_jk — стан комірки, що розглядається у даний момент часу;

r — кількість зайнятих комірок;

q_i — стан керуючого пристрою; i = 0,1 … m.

Якщо машина перебуває у стані q_і , має доступ до комірки із символом s_k , переходить у стан q_j , замінюючи символ s_k на s_m, a стрічка пересувається ліворуч на одну комірку, то це означає, що вона виконує команду

q_i s_k  q_j s_m Л або q_i s_k q_i s_m Л.

Замість Л можуть стояти П або С:

де Л — рух стрічки ліворуч;

П — рух стрічки праворуч;

С — стрічка не рухається.

Отже, перехід від однієї до іншої конфігурації здійснюється за допомогою команди. Загальний вигляд команди

q_i s_k  q_j s_m T ,

де T = Л, П, С.

Сукупність усіх команд машини називають її програмою.

Щоб задати машину Тьюринга, треба задати її внутрішній та зовнішній алфавіт, програму, початкову конфігурацію, якими символами позначені пуста комірка та заключний стан керуючого пристрою.

Програму машини Тьюринга можна задати у вигляді таблиці.

Наприклад, задано таблицю:

А Q	0	1	*	S0
q2	—	q2 0 Л	q1*Л	q0C
q1	q21Л	—	—	—
q0	останов

Машина Тьюринга, представлена цією таблицею, здійснює перетворення слова 1*0 у слово 0*1. Наведемо алгоритм переносу 0 разом зі зміною конфігурацій після виконання кожної команди.

Нехай початкова конфігурація машини має вигляд: s₀ q₂ 1* 0 s₀. Тоді:

q₁ 1  q₂ 0 Л s₀ 0 q₂ * 0 s₀

q₂ *  q₁ * Л s₀ 0 * q₁ 0 s₀

q₁ 0  q₁ 1 Л s₀ 0 * 1 q₂ s₀

q₂ s₀  q₀ s₀ C s₀ 0 * 1 q₀ s₀ — заключна

конфігурація машини.

З часом з’явилися різні модифікації машини Тьюринга залежно від кількості використовуваних стрічок пам’яті, кількості станів керуючого пристрою. Так, існує машина Тьюринга з двома виходами. Якщо додати у керуючий пристрій певний стан q*, то: якщо керуючий пристрій переходить у стан q₀ для заданого вхідного слова Х, то машина допускає Х; якщо керуючий пристрій переходить у стан q*, то машина забороняє стан Х.

Багатострічкова машина Тьюринга має декілька стрічок, поділених на комірки. В кожній комірці може знаходитись один із символів зовнішнього алфавіту А. Керуючий пристрій може знаходитись в одному зі станів Q = {q₀, q₁ ... q_m}, де q₀ — заключний стан. Конфігурація машини вважається заданою, якщо відомий стан керуючого пристрою, стан всіх комірок, всіх стрічок та вказані комірки, що доступні на даний момент зчитувальним головкам. Конфігурація складається з К слів, якщо машина має К стрічок пам’яті.