Изворни код странице Машина која увек стаје

У [[теорија изарачунљивости|теорији израчунљивости]], '''машина која увек стаје''' или '''одлучивач'''<ref>-{Sipser, M. (1996), ''Introduction to the Theory of Computation'', PWS Publishing Co.}-</ref> или '''тотална Тјурингова машина'''<ref>-{Kozen, D.C. (1997), ''Automata and Computability'', Springer.}-</ref> је [[Тјурингова машина]] која стаје за сваки улаз.

Како увек стаје, машина је у стању да ''одлучи'' да ли дата [[ниска]] припада [[формалном језику]]. Класа језика који могу да буду одлучени оваквим машинама тачно одговара скупу [[рекурзивни језик|рекурзивних језика]]. Међутим, услед [[халтинг проблем]]а, одређивање да ли произвољна Тјурингова машина стаје за произвољни улаз је са своје стране [[одлучивост|неодлучив]] [[проблем одлучивања]].

== Функције израчунљиве тоталним Тјуринговим машинама ==
У пракси су многе интересантне функције израчунљиве на машинама које увек стају. Машина која користи само коначну меморију за сваки појединачни улаз може бити приморана да стане за сваки улаз ограничавањем њених могућности за контролу тока тако да ниједан улаз не може да натера машину да уђе у [[бесконачна петља|бесконачну петљу]]. Као тривијалан пример, машина која имплементира коначно [[стабло одлучивања]] ће се увек зауставити.

Не захтева се да машина буде у потпуности лишена могућности за итерирање кроз петље како би се гарантовало заустављање. Ако се петље ограниче на предвидиву коначну величину, оне могу да изразе све [[примитивно рекурзивна функција|примитивно рекурзивне функције]]<ref>-{Meyer, A.R., Ritchie, D.M. (1967), ''The complexity of loop programs'', Proc. of the ACM National Meetings, 465.}-</ref>.

Могуће је чак дефинисати програмски језик који ће осигурати да и софистицираније функције стају. На пример, [[Акерманова функција]], која није примитивно рекурзивна, али је ипак тотално израчунљива функција.

== Однос са парцијалним Тјуринговим машинама ==
Општа Тјурингова машина ће израчунати парцијалну функцију. Могуће је поставити два питања о односу између парцијалне и тоталне Тјурингове машине:
# Да ли свака парцијална функција која је израчунљива на парцијалној Тјуринговој машини проширива (то јест да ли јој је могуће проширити домен) тако да постане тотална израчунљива функција?
# Да ли је могуће променити дефиницију Тјурингове машине тако да је могуће наћи одређену класу тоталних Тјурингових машина, таквих да могу да израчунају све тотално израчунљиве функције?
Одговор на оба ова питања је негативан.

Следећа теорема показује да функције израчунљиве на машинама које увек стају не укључују проширења свих парцијално израчунљивих функција, што повлачи да је одговор на прво питање негативан. Ова чињеница је у блиској вези са алгоритамском нерешивошћу [[халтинг проблем]]а.

:'''Теорема.''' Постоје Тјуринг израчунљиве парцијалне функције које немају проширење до тотално Тјуринг израчунљивих функција. Прецизније, парцијална функција -{''f''}- дефинисана тако да -{''f''(''n'') = ''m''}- [[ако и само ако]] Тјурингова машина са индексом -{''n''}- стаје на улазу -{''0''}- са излазом -{''m''}- нема проширење до тотално израчунљиве функције.

Ова теорема се доказује свођењем на контрадикцију. Ако би -{''g''}- била тотално израчунљива функција која проширује -{''f''}- онда би -{''g''}- била израчунљива на некој Тјуринговој машини; нека је -{''e''}- индекс такве машине. Ако би била направљена Тјурингова машина -{''M''}-, коришћењем [[Клинијева теорема рекурзије|Клинијеве теореме рекурзије]], која за улаз -{''0''}- симулира машину са индексом -{''e''}- која ради са индексом -{''n<sub>M</sub>''}- за -{''M''}- (стога машина -{''M''}- може да произведе свој индекс; ово је улога теореме рекурзије). По претпоставци, ова симулација би у неком тренутку дала одговор. Ако се дефинише -{''M''}- тако да ако -{''g''(''n<sub>M</sub>'') = ''m''}- онда је повратна вредност машине -{''M''}- једнака -{''m + 1''}-. Стога -{''f''(''n<sub>M</sub>'')}-, права повратна вредност машине -{''M''}- за улаз -{''0''}-, неће бити једнака -{''g''(''n<sub>M</sub>'')}-. Ово противречи претпоставци да -{''g''}- проширује -{''f''}-.

Друго питање је у суштини питање да ли постоји други разуман модел израчунавања који израчунава само тоталне функције и израчунава све тотално израчунљиве функције. Неформално, ако би такав модел постојао, сваки од његових рачунара би било могуће симулирати на Тјуринговој машини. Стога ако би се овај нови модел рачунања састојао од низа <math>M_1,M_2,\ldots</math> машина, постојало би [[рекурзивна пребројивост|рекурзивно пребројив]] низ <math>T_1,\ldots T_2,\ldots</math> Тјурингових машина које рачунају тоталне функције тако да је свака тотално израчунљива функција израчунљива једном од машина -{''T<sub>i</sub>''}-. Ово је немогуће, јер би машина <math>T</math> могла да буде конструисана тако да за улаз ''i'' машина ''T'' враћа <math>T_i(i)+1\,</math>. Ова машина не може да буде еквивалентна ниједној машини -{''T''}- из листе: Нека је та машина у листи на индексу -{''j''}-. Онда <math>T_j(j)=T_j(j)+1\,</math>, што не враћа целобројни резултат. Стога не може да буде тотална, али функција по конструкцији мора да буде тотална (ако су тоталне функције рекурзивно пребројиве, онда ова функција може да буде конструисана), и ту се јавља контрадикција. Ово показује да и друго питање има негативан одговор.

== Скуп индекаса тоталних Тјурингових машина ==
[[Проблем одлучивања]] да ли ће Тјурингова машина са индексом -{''e''}- стати за сваки улаз није одлучив. Овај проблем је на нивоу <math>\Pi^0_2</math> [[аритметичка хијерархија|аритметичке хијерархије]]. Стога је овај проблем строго тежи од [[халтинг проблем]]а, који поставља питање да ли ће машина са индексом -{''e''}- стати за улаз -{''0''}-. Интуитивно, ова разлика у неизрачунљивости је последица чињенице да свака инстанца ''проблема тоталне машине'' представља бесконачно много инстанци халтинг проблема.

== Види још ==
* [[Тотално функционално програмирање]]

== Референце ==
{{reflist}}

== Литература ==
* -{Brainerd, W.S., Landweber, L.H. (1974), ''Theory of Computation'', Wiley.}-
* -{Ohlebusch, E. (2002), ''Advanced Topics in Term Rewriting'', Springer.}-

{{формални језици и граматике}}

{{нормативна контрола}}

[[Категорија:Теорија израчунљивости]]