6

MQUINAS DE TURING Definimos una mquina de Turing como una 7- u!"a M # $Q% % % s% &% F% '% donde Q es un con(un o fini o de es ados es un a"fa)e o de en rada es un a"fa)e o ""amado alfabeto de la cinta s Q es e" es ado inicia" & es e" s*m)o"o )"anco F Q es e" con(un o de es ados fina"es o de ace! aci+n , Q Q -L% R. es una funci+n !arcia" que se ""ama funcin de transicin/ 0a mquina de Turing !osee una cin a di1idida en ce"das% cada ce"da es ca!a2 de a"macenar un s*m)o"o/ Adems !osee una ca)e2a "ec ora3escri ora que "ee 4 escri)e un s*m)o"o en "a cin a/ Inicia"men e "a cin a con iene b en odas sus ce"das/ 0a funci+n de ransici+n ransforma !ares $q% ' en ernas de "a forma $p% t% X'% donde p es e" siguien e es ado% t es e" s*m)o"o escri o en "a cin a 4 X es e" mo1imien o de "a ca)e2a "ec ora3escri ora% que !uede ser L o R/ 5or e(em!"o% "a ransici+n $q6% a' # $q7% b% R' !ro1oca que "a mquina !ase de una configuraci+n
a b b Es ado in erno q6

5osici+n de "a ca)e2a "ec ora3escri ora

a "a configuraci+n
b b b Es ado in erno q7 5osici+n de "a ca)e2a "ec ora3escri ora

Se !uede dar una descri!ci+n ins an nea de "a mquina de Turing simi"ar a "a de "os AD5ND% !ara "a ransici+n an erior ser*a $q6% abb' $q7% bbb' e" carc er su)ra4ado indica "a !osici+n de "a ca)e2a "ec ora3escri ora/

<

8 ra !osi)i"idad es an e!oner e" es ado ac ua" a" carc er se9a"ado !or "a ca)e2a "ec ora3escri ora como se mues ra q6abb bq7bb

Mquinas de Turing como ace! adores de "engua(es

Sea M # $Q% % % s% &% F% ' una mquina de Turing/ En onces e" "engua(e ace! ado !or M es L$M' # -w : ; q6w : w6pw< !ara p F 4 wi :. 0os "engua(es ace! ados !or "as mquinas de Turing se conocen como lenguajes recursivamente enumerables/ E" siguien e grafo mues ra una mquina de Turing ransforma una cadena de "a forma anbam en an+mb median e "a siguien e funci+n de ransici+n, $q6% a' # $q6% a% R' $q6% b' # $q<% a% R' $q<% a' # $q<% a% R' $q<% &' # $q=% &% L' $q=% a' # $q>% b% L' $q>% a' # $q>% a% L' $q>% &' # $q7% &% R'
a3a%R a3a%R a3a%L

q6

b3a%R

q< &3&%L

q= a3b%L

q> &3&%R

q7

0a siguien e mquina de Turing reconoce e" "engua(e anbn/ $q6% a' # $q<% c% R' $q<% a' # $q<% a% R' $q<% d' # $q<% d% R' $q=% b' # $q=% d% L' $q=% d' # $q=% d% L' $q=% a' # $q=% a% L' $q=% c' # $q6% c% R' $q6% d' # $q>% d% R'

$q>% d' # $q>% d% R' $q>% &' # $q7% &% L'

c 3 c% R a3a% R a3a% L

a 3 c% R q6 d3d% R &3&% L q> d3d% R q7 q<

b3d% L q=

d3d% R

d3d% L

?ons rucci+n de mquinas de Turing

0engua(es ace! ados !or Mquinas de Turing

Definici+n/ Una "engua(e L so)re un a"fa)e o se dice que es recursivamente enumerable si es ace! ado !or a"guna mquina de Turing/ Es decir% L es recursi1amen e enumera)"e si !ara a"guna mquina de Turing M enemos que L$M' # -w : ; qw : upv !ara p F 4 u% v :. $donde q es e" es ado inicia" de M 4 F es e" con(un o de es ados fina"es de M'/ Un "engua(e L es recursivo si L es recursi1amen e enumera)"e 4 @a4 a"guna mquina de Turing que !ara so)re todas "as en radas que ace! a L/

0engua(es regu"ares% inde!endien es de" con eA o% recursi1os 4 recursi1amen e enumera)"es

Sea M # $Q% % s% F% ' un au +ma a fini o de erminis a/ Se !uede cons ruir una mquina de Turing MB # $QB% C% % sB% &% FB% B' !ara "a cua" L$M' # L$MB' !or medio de, QB # Q -qB.% donde qB es un nue1o es ado que no es a en Q/ C # # -&. FB # -qB. B$q% ' # $$q% '% % R'% !ara q Q 4 D B$q% &' # $qB% &% S'% !ara odo q F% donde S es "a direc i1a de cin a Eno

>

mo1erseF Teorema/ Si L es un "engua(e regu"ar% en onces L es am)iGn un "engua(e recursi1o/ Sea M un au +ma a de !i"a no de erminis a/ 5odemos cons ruir una mquina de Turing que emu"e e" com!or amien o de M/ Su!ongamos un MT con dos cin as% "a !rimera con endr "a cadena de en rada 4 "a segunda se u i"i2ar !ara a"macenar "a !i"a/ Un a!i"amien o se emu"a mo1iendo "a ca)e2a de "a segunda cin a a "a derec@a 4 escri)iendo e" s*m)o"o que se a!i"ar/ ?onsideremos e" siguien e AD5ND dado !or Q # -q6% q<% q=.% s # q6% # -a% b.% F # -q=.% # -a% b% .% $q6% % ' # -$q=% '.% $q6% a% 2' # -$q6% a '.% $q6% a% a' # -$q6% aa'.% $q6% b% a' # -$q<% '.% $q<% b% a' # -$q<% '.% $q<% % ' # -$q=% '.% Es e AD5ND reconoce anbn/ 0a mquina de Turing em!e2ar en e" es ado qB/ 5rimero se marca e" fondo de "a !i"a en "a cin a </ 5or an o% endremos "as ransiciones $qB% $a% &'' # $q6% $a% '% $S% S'' $qB% $&% &'' # $q6% $&% '% $S% S'' !ara rea"i2ar un a!i"amien o 4 consumir un s*m)o"o se endrn "as ransiciones $q6% $a% '' # $p6% $a% '% $S% R'' $q6% $a% a'' # $p6% $a% a'% $S% R'' $p6% $a% &'' # $q6% $a% a'% $R% S'' "as cua"es a!i"an aes so)re "a !i"a/ 5ara desa!i"ar endremos $q6% $b% a'' # $q<% $b% a'% $R% L'' $q<% $b% a'' # $q<% $b% a'% $R% L'' Hina"men e% "a cadena se ace! a cuando @a sido o a"men e consumida 4 se @a 1aciado "a !i"a/ 0a ransici+n de" AD5ND $q6% % ' # -$q=% '. corres!onde a" mo1imien o $q<% $&% '' # $q=% $&% '% $S% L'' de "a mquina de Turing/ Teorema/ Si L es un "engua(e inde!endien e de" con eA o% en onces L es am)iGn un "engua(e recursi1o/ Teorema/ Si L6 4 L< son "engua(es recursi1os% en onces L6 L< am)iGn "o es/

0ema 7/=/6/ Si L es un "engua(e recursi1o% en onces : L es un "engua(e recursi1o/ Teorema 7/=/</ Ia4 un "engua(e recursi1amen e enumera)"e L !ara e" cua" : L no es recursi1amen e enumera)"e/ Teorema 7/=/=/ Si L6 4 L< son "engua(es recursi1amen e enumera)"es% en onces L6 L< es am)iGn recursi1amen e enumera)"e/ Teorema 7/=/>/ Si L es un "engua(e recursi1amen e enumera)"e !ara e" cua" : L am)iGn es recursi1amen e enumera)"e% en onces L es un "engua(e recursi1o/ Teorema 7/=/7/ Un "engua(e L es recursi1amen e enumera)"e si 4 so"o si L es enumerado !or a"guna mquina de Turing/ Definici+n 7/>/6/ Una gram!tica no restringida $que am)iGn se conoce como una gram ica es ruc urada !or frase' es una >- u!"a " # $#% % S% $'% donde # es un a"fa)e o de s*m)o"os no ermina"es es un a"fa)e o de s*m)o"os ermina"es con # # S # es e" s*m)o"o inicia" $ es un con(un o fini o de !roducciones de "a forma % donde $# 'J 4 $# ': $es decir% $ $# 'J $# ': 4 es un con(un o fini o '/ Teorema 7/>/</ Si " es una grama ica no res ringida% en onces L$"' es un "engua(e recursi1amen e enumera)"e/ Teorema 7/>/=/ Si L # L$M' es un "engua(e recursi1amen e enumera)"e 4 " se cons ru4e de "a forma descri a% en onces L # L$"'/ Teorema 7/>/>/ Un "engua(e L es recursi1amen e enumera)"e si 4 so"o si L # L$"' !ara a"guna gram ica "% no res ringida/ Definici+n 7/7/6/ Una gram ica " # $#% % S% $' es una gram!tica sensible al conte%to si odas "as !roducciones son de "a forma % donde % $# 'J 4 ; ; ; ;/ 0ema 7/7/</ E" con(un o de "os "engua(es sensi)"es a" con eA o con iene a" con(un o de "os "engua(es inde!endien es de" con eA o/ 0ema 7/7/=/ Sea " # $#% % S% $' una gram ica sensi)"e a" con eA o/ En onces% eAis e una gram ica "6 # $#6% % S6% $6' sensi)"e a" con eA o% !ara "a cua" L$"' # L$"6' 4 S6 nunca a!arece en e" "ado derec@o de una !roducci+n de $6/

0ema 7/7/>/ Sea " # $#% % S% $' una gram ica sensi)"e a" con eA o/ En onces% eAis e una una mquina de Turing &% que !ara so)re oda en rada 4 ace! a L$"'/ Teorema 7/7/7/ Si L es un "engua(e sensi)"e a" con eA o% en onces L es recursi1o/ 0ema 7/7/K/ Ia4 "engua(es recursi1os que no son "engua(es sensi)"es a" con eA o/ Teorema 7/7/7/ 0os "engua(es sensi)"es a" con eA o con ienen% !ro!iamen e% a "os "engua(es inde!endien es de" con eA o/ A su 1e2% "os "engua(es recursi1os con ienen% !ro!iamen e% a "os "engua(es sensi)"es a" con eA o/ Teorema 7/7/L/ So)re un a"fa)e o dado% e" con(un o de "os "engua(es recursi1amen e enumera)"e con ienen !ro!iamen e a "os "engua(es recursi1os que con ienen !ro!iamen e a" con(un o de "os "engua(es sensi)"es a" con eA o que con ienen !ro!iamen e a" con(un o de "os "engua(es inde!endien es de" con eA o/ Que a su 1e2% con ienen !ro!iamen e "os "engua(es regu"ares/

Lregu"ar Li/c/ Ls/c/ Lrecursi1o Lr/e