Soluții Mai multe reduceri Turing

Această problemă este decidabilă. Observăm că dacă mașina nu mută capul de citire la stânga, având un număr finit $ n = |K| $ de stări si un număr finit $ m = |\Gamma| $ de simboluri de bandă, mașina fie se oprește după un număr finit de tranziții, fie nu se termină prin a ajunge într-un șir de tranziții de forma $ (q,\ a) \to (q',\ a',\ -) \to (q'',\ a'',\ -) \to \dots \to (q,\ a,\ -) $ (cel mult $ n\cdot m $ tranziții), fie parcurge tot conținutul benzii ajungând la capătul din dreapta pe un simbol blank, după care tranzițiile au forma $ (p,\ \square) \to (p',\ b',\ \rightarrow/-) \to (p'',\ b'',\ \rightarrow/-) \to \dots \to (p,\ \square,\ \rightarrow/-) $ (cel mult $ n\cdot m $ tranziții) (exceptând cazul anterior în care mașina rămâne la nesfârșit în hold schimbând stările și/sau simbolurile, mașina avansează la dreapta la nesfârșit, făcând eventual hold între avansări, schimbând stările și/sau simbolurile). Așadar, sunt suficiente $ n\cdot m + 1 + {\rm len}(1010) $ = $ n\cdot m + 5 $ tranziții pentru a verifica dacă mașina mută capul de citire la stânga. Putem descrie masina care decide această problemă astfel:

M_1010[enc(M)]:
    k = 0
    n = nr_stari(M)
    m = nr_simboluri_banda(M)
    while k < n * m + 5:
        simuleaza un pas din M[w]
        k = k + 1
        if tranzitia a fost la stanga:
            tranzitie la N
    tranzitie la Y 

Și această problemă este decidabilă. Numărul de tranziții la stânga al mașinii este finit, si la fel și numărul de tranziții într-una din stările din care mașina poate face o tranziție la stânga. Făcând doar tranziții la dreapta și hold, simbolul aflat sub capul de citire la un moment dat este întotdeauna fie cel aflat pe acea poziție în input, fie cel scris după hold-ul anterior. Putem construi “drumuri” (șiruri de tranziții) înapoi de la tranzițiile la stânga, iar dacă ajungem la starea inițială, am găsit un input pentru care mașina face o tranziție la stânga. De fapt, putem reprezenta orice mașină Turing sub forma unui graf (exemplu) și putem găsi toate drumurile de la starea inițială până la o stare în care ajungem printr-o tranziție la stânga. Un drum “corect” fie trece doar prin tranziții care citesc un simbol din alfabetul de input, fie trece printr-o tranziție care scrie un simbol ce nu se află in alfabetul de input și ține capul de citire pe loc înainte de a face o tranziție ce citește acel simbol (pentru a construi în acest fel un input valid).

Problema este decidabilă. Rulăm mașina pentru maxim 50 de pași pe inputul 1010. Dacă se termină între timp, $ f_{50a}(M) = {\rm TRUE}$ și tranziționăm la starea Y. Altfel, $ f_{50a}(M) = {\rm FALSE}$ și tranziționăm la starea N.

Chiar și această problemă este decidabilă. Observăm că dacă inputul are o lungime mai mare de 51, mașina trebuie să facă cel puțin 51 de tranziții pentru a parcurge tot inputul. Așadar, $ f_{50b}(M) = {\rm TRUE}$ doar pentru mașini care citesc doar primele cel mult 51 de simboluri. Este suficient atunci să rulăm mașina pentru 50 de pași pentru toate inputurile $ w$ cu $ |w| \leq 51$. Dacă pentru fiecare astfel de input, mașina se oprește pe parcursul celor 50 de pași, acceptăm mașina (tranziție la Y), altfel, dacă pentru oricare dintre aceste inputuri mașina nu se oprește după 50 de pași, o respingem (tranziție la N).

Din faptul că ar trebui să decidem dacă mașinile se termină, în primul rând, pe inputul 111, pentru a vedea dacă vreuna din ele acceptă inputul, ne dăm seama că problema nu este decidabilă (și vom demonstra mai jos printr-o reducere). Totuși, din moment ce putem vedea dacă una din mașini a acceptat inputul atunci când îl acceptă, intuim că am putea face o astfel de verificare pentru ambele mașini simultan și atunci problema ar fi în $ {\rm RE} \setminus {\rm R}$. Într-adevăr, putem scrie următoarea mașină care acceptă problema:

M_or[enc((M1, M2))]:
    while (M1 nu s-a terminat) sau (M2 nu s-a terminat):
        simulează un pas din M1[111]
        simulează un pas din M2[111]
        if (M1 a facut tranziție la Y) sau (M2 a facut tranziție la Y):
            tranziție la Y
    tranziție la N

Demonstrăm că problema nu este decidabilă prin urmatoarea reducere $ \mathtt{HALT} \leq_m f_{or}$:
$ t(M, w) = (M_1, M_2) $ a.î $ \mathtt{HALT}(M, w) = {\rm TRUE} \iff f_{or}(M_1, M_2) = {\rm TRUE} $

M1[u]:
    simulează M[w]
    tranziție la Y

M2[u]:
    tranziție la N

$ (\Rightarrow) $ $$ \mathtt{HALT}(M, w) = {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \\ \Rightarrow M_1[111] \to {\rm TRUE} \vee M_2[111] \to {\rm TRUE} \Rightarrow f_{or}(M_1, M_2) = {\rm TRUE} $$ $ (\Leftarrow) $ $$ f_{or}(M_1, M_2) = {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \vee M_2[111] \to {\rm TRUE} \\ \forall v, M_2[v] \to {\rm FALSE} \Rightarrow M_2[111] \nrightarrow {\rm TRUE} \\ \Rightarrow M_1[111] \to {\rm TRUE} \Rightarrow \mathtt{HALT}(M, w) = {\rm TRUE} \\ (\text{deoarece } \mathtt{HALT}(M, w) = {\rm FALSE} \Rightarrow M_1[111] \to \bot) $$

La fel ca în cazul anterior, problema se află în $ {\rm RE} \setminus {\rm R}$, în mod analog. Mașina care acceptă problema este:

M_and[enc((M1, M2))]:
    while (M1 nu s-a terminat) sau (M2 nu s-a terminat):
        simulează un pas din M1[111]
        simulează un pas din M2[111]
        if (M1 a facut tranziție la N) sau (M2 a facut tranziție la N):
            tranziție la N
    tranziție la Y

Iar pentru a demonstra că problema nu este decidabilă, folosim următoarea reducere $ \mathtt{HALT} \leq_m f_{and}$:
$ t(M, w) = (M_1, M_2) $ a.î $ \mathtt{HALT}(M, w) = {\rm TRUE} \iff f_{and}(M_1, M_2) = {\rm TRUE} $

M1[u]:
    simulează M[w]
    tranziție la Y

M2[u]:
    tranziție la Y

$ (\Rightarrow) $ $$ \mathtt{HALT}(M, w) = {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \\ M_2[111] \to {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \land M_2[111] \to {\rm TRUE} \Rightarrow f_{and}(M_1, M_2) = {\rm TRUE} $$ $ (\Leftarrow) $ $$ f_{and}(M_1, M_2) = {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \land M_2[111] \to {\rm TRUE} \\ \Rightarrow M_1[111] \to {\rm TRUE} \Rightarrow \mathtt{HALT}(M, w) = {\rm TRUE} \\ (\text{deoarece } \mathtt{HALT}(M, w) = {\rm FALSE} \Rightarrow M_1[111] \to \bot) $$

Exercițiile anterioare ne-au ajutat să ne dăm seama că această problemă nu este decidabilă, și am putea face o reducere $ \mathtt{HALT} \leq_m f_{diff}$ ca mai devreme pentru a demonstra acest lucru. Totuși, ne punem întrebarea acum dacă această problemă mai este acceptabilă. Problema dacă $ M_1[111] \rightarrow {\rm TRUE}$ este acceptabilă (doar simulăm mașina), dar pentru a vedea dacă $ M_2[111] \not\rightarrow {\rm TRUE}$, ar trebui să vedem dacă M2 nu se termină. Știm că problema $ \mathtt{coHALT}$ nu este acceptabilă și atunci ne dăm seama că problema $ f_{diff}$ nu este nici ea acceptabilă. Putem face reducerea $ \mathtt{coHALT} \leq_m f_{diff}$ pentru a demonstra acest lucru (și prin urmare și nedecidabilitatea - nu e nevoie să facem și reducerea menționată la început): $ t(M, w) = (M_1, M_2) $ a.î $ \mathtt{coHALT}(M, w) = {\rm TRUE} \iff f_{diff}(M_1, M_2) = {\rm TRUE} $

M1[u]:
    tranziție la Y

M2[u]:
    simulează M[w]
    tranziție la Y

$ (\Rightarrow) $ $$ \mathtt{coHALT}(M, w) = {\rm TRUE} \Rightarrow M[w] \to \bot \Rightarrow M_2[111] \to \bot \\ M_1[111] \to {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \land M_2[111] \nrightarrow {\rm TRUE} \Rightarrow f_{diff}(M_1, M_2) = {\rm TRUE} $$ $ (\Leftarrow) $ $$ f_{diff}(M_1, M_2) = {\rm TRUE} \Rightarrow M_1[111] \to {\rm TRUE} \land M_2[111] \nrightarrow {\rm TRUE} \\ \Rightarrow M_2[111] \nrightarrow {\rm TRUE} \Rightarrow M[w] \to \bot\ (\text{deoarece } M[w] \nrightarrow \bot \Rightarrow M_2[111] \to {\rm TRUE} \text{ din construcția mașinii}) \\ \Rightarrow \mathtt{coHALT}(M, w) = {\rm TRUE} $$