Curs 6 - plan

Maini Turing
Definiie, tranziii
Limbajul acceptat
Model de calcul
Teza lui Church-Turing

Gh. Grigoras 1
 Maini Turing(Alan Turing 1936)
Control cu un numr finit de stri
capul de citire se poate mica n ambele
direcii
Pe banda de intrare se pot citi i scrie
simboluri
banda de intrare este infinit n ambele
pri dar un numr finit de celule sunt
nevide

Gh. Grigoras 2
 Cele 3 tipuri de automate:
au fiecare cte un numr finit de stri

diferena o d memoria i modul de organizre a

acesteia:
AFD, AFN, AP i APD au o memorie finit ce se citete de
la stnga la dreapta
AP i APD au n plus o memorie infinit de tip stiv
Mainile Turing au o memorie infinit ce se poate citi/scrie
n ambele sensuri, fra tergeri

Gh. Grigoras 3
 Maini Turing - formal
M = ( Q, , , q0, F, )
Q este mulimea finit a strilor
q0 este starea iniial
F Q este mulimea strilor finale
este alfabetul de intrare
este alfabetul benzii ce include alfabetul de intrare i un
simbol special, blanc
: Q Q {L, R} este funcia de tranziie care
poate fi parial definit

Modelul definit este determinist; cel nedeterminist

este echivalent relativ la recunoaterea limbajelor
Gh. Grigoras 4
 Maini Turing tranziii
Fie M = ( Q, , , q0, F, ) o main Turing
(q, a) = (q, b, L) : din starea q dac vizeaz o celul
cu coninutul a, trece n starea q, schimb coninutul
celulei n b i trece la celula din stnga
(q, a) = (q, b, R) : din starea q dac vizeaz o celul
cu coninutul a, trece n starea q, schimb coninutul
celulei n b i trece la celula din dreapta
(q, a) = : maina se oprete

Se presupune c din strile finale nu exist tranziii

Gh. Grigoras 5
 Maini Turing acceptare
Fie M = ( Q, , , q0, F, ) o main Turing i w *
Se ncarc simbolurile lui w n nite celule consecutive pe
banda de intrare, restul celulelor fiind ncrcate cu simbolul
special blanc
Se poziioneaz controlul la primul simbol din w i la starea
iniial
Se produc tranziiile conform cu
Se oprete evoluia dac:
se ajunge ntr-o configuraie de blocaj
se ajunge ntr-o stare final caz n care spunem c M accept w

Obs: Este posibil s nu se opreasc niciodat!

Gh. Grigoras 6
 Clasa de limbaje acceptate de maini Turing: L0

Exemple

Acceptarea limbajului descris de a*b*

Acceptartea limbajului {anbncn|n > 0}
Acceptarea limbajului {ww| w{a, b}*}

Gh. Grigoras 7
 Maina Turing model de calcul
O configuraie a mainii definete:
Starea n care se afl
Simbolul curent
Cuvntul de pe band din stnga simbolului curent
Cuvntul de pe band din dreapta simbolului curent
M poate fi utilizat pentru recunoaterea limbajelor
sau pentru calculul funciilor
Model pentru calculul unei funcii f:Nk N
Se memoreaz codificat argumentele n1, n2,, nk
Se aplic tranziiile din configuraia iniial; dac maina se
oprete ntr-o stare final i banda conine f(n1, n2,, nk),
spunem c M calculeaz f
Gh. Grigoras 8
 Modele echivalente
Maini Turing nedeterministe
Maini Turing cu mai multe benzi
Maini Turing cu o band i mai multe capete de citire a benzii
Maini Turing cu band cu 2 dimensiuni, infinit la dreapt i
n jos
Maini Turing cu acces aleatoriu

Puterea de calcul este aceeai: toate modelele pot fi simulate

de o main determinist cu o band
Simularea eficient a unei maini nedeterministe cu una
determinist este nc o problem nerezolvat : P = NP?
www.claymath.org/millennium/P_vs_NP

Gh. Grigoras 9
Gh. Grigoras 10
Gh. Grigoras 11
 Funcii (parial) calculabile
O funcie este parial calculabil dac exist o
main Turing care o calculeaz i maina se
oprete pentru orice intrare din domeniul de
definiie al funciei

O funcie este calculabil dac exist o main

Turing care o calculeaz i maina se oprete
pentru orice intrare

Gh. Grigoras 12
 LBA Linear bounded automaton
O main Turing ce are banda de intrare limitat la
lungimea cuvntului de intrare
Clasa de limbaje acceptate: L1

Teza lui Church Turing:

Orice calcul efectiv poate fi fcut cu o main
Turing
sau
Nu exist un model de calcul mai puternic dect
maina Turing

Gh. Grigoras 13