Universidad nacional de Loja

REA DE LA ENERGA, LAS INDUSTRIAS Y LOS RECURSOS NATURALES NO RENOVABLES CARRERA DE INGENIERIA EN SISTEMAS

Mquina de Turing

Alan Turing

Matemtico ing !" #$e %i%i& '$(ante a )(ime(a mita' 'e "ig o **+ A$n#$e ,$e $n matemtico -(i ante "e 'e"taco e")ecia mente en c(i)tog(a,.a+ S$ )(inci)a inte(!" "e cent(a-a en a &gica, 'e a/. a c(eaci&n 'e a M#$ina 'e T$(ing o m#$ina 'e com)$taci&n &gica+ E"ta ,$e a ma0o( a)o(taci&n 'e T$(ing 0a #$e me'iante ! "e a-(i& camino a a ciencia 'e a Com)$taci&n+

M#$ina 'e T$(ing

Una m#$ina 'e T$(ing )$e'e con"i'e(a("e como $na cinta in,inita 'i%i'i'a en ca"i a", ca'a $na 'e a" c$a e" contiene $n ".m-o o, So-(e 'ic/a cinta act2a $n 'i")o"iti%o #$e )$e'e a'o)ta( 'i%e("o" e"ta'o" 0 #$e, en ca'a in"tante, ee $n ".m-o o 'e a ca"i a "o-(e a e"t "it$a'o+ En ,$nci&n 'e ".m-o o #$e /a e.'o 0 'e e"ta'o en #$e "e enc$ent(a, (ea i3a a" t(e" accione" "ig$iente"4

5a"a a $n n$e%o e"ta'o Im)(ime $n ".m-o o en $ga( 'e #$e aca-a 'e ee( De") a3a $na )o"ici&n /acia a i3#$ie('a, o /acia a 'e(ec/a, o -ien a m#$ina "e )a(a+

M#$ina 'e T$(ing

E ,$ncionamiento 'e $na m#$ina 'e T$(ing )$e'e (e)(e"enta("e me'iante $na ta- a 'e 'o- e ent(a'a+ La" ,i a" e"tn enca-e3a'a" )o( o" e"ta'o"+ La" co $mna" )o( o" ".m-o o" e"c(ito" en a cinta+ En ca'a )o"ici&n 'e a ta- a /a0 t(e" e emento"4

E e"ta'o "ig$iente I E ".m-o o #$e "e e"c(i-e en a cinta D Mo%imiento 'e a ca-e3a 5

M#$ina 'e T$(ing

Tam-i!n )$e'e /a-e( )o"icione" en - anco

1 p q r s #8D #9D 0 )8I #8D (9D b (-D )8I "-5

5$e'e /a-e( t(e" ".m-o o"4 8, 9, o a ca"i a )$e'e e"ta( en - anco : o #$e "e (e)(e"enta en a ta- a con a et(a -; Lo" e"ta'o" 'e e"ta m#$ina co((e")on'en a a" accione" "ig$iente"4

M#$ina 'e T$(ing

p q r s

1 #8D #9D

0 )8I #8D (9D

b (-D )8I "-5

Estado p: Mient(a" enc$ent(a e ".m-o o 8, o igno(a 0 a%an3a /acia a i3#$ie('a+ En c$anto enc$ent(a e ".m-o o 9, o" "$"tit$0e )o( 8, )a"a a e"ta'o # 0 a%an3a /acia a 'e(ec/a+ Si enc$ent(a $na ca"i a en - anco, )a"a a e"ta'o ( 0 a%an3a /acia a 'e(ec/a+ Estado q: Mient(a" enc$ent(a e ".m-o o 8 0 9, o igno(a 0 a%an3a /acia a 'e(ec/a+ En c$anto enc$ent(a e ".m-o o 9, o" "$"tit$0e )o( 8, )a"a a e"ta'o ) 0 a%an3a /acia a i3#$ie('a+ S$ ,$nci&n )o( tanto, e" a=a'i( $n 8 a ,ina 'e a ca'ena 'e ce(o" 0 $no", "o-(e a )(ime(a ca"i a en - anco "it$a'a a a 'e(ec/a 'e a mi"ma+ Estado r: mient(a" enc$ent(a 8, o "$"tit$0e )o( 9 0 a%an3a /acia a 'e(ec/a+ En c$anto enc$ent(a $na ca"i a en - anco, )a"a a e"ta'o ,ina 0 "e 'etiene a m#$ina+ A )(inci)io a m#$ina e"t en e e"ta'o ), n ca"i a" con"ec$ti%a" 'e a cinta 'e ent(a'a contienen $n $no, a" (e"tante" e"tn en - anco, 0 a ca-e3a ecto(a a)$nta a 2 timo $no+ 5en"an'o $n )oco "e %e( #$e, c$an'o a m#$ina "e )a(e, a cinta conten'( 1n $no"+ En cie(to mo'o, e"t m#$ina 'e T$(ing m$ ti) ica )o( 'o"+

M#$ina 'e T$(ing

DEFINICIN FORMAL DE UNA MQUINA DE TURING

T4 :S, ?, @, A i, /;

S E"ta'o o conB$nto 'e e"ta'o" ? ConB$nto 'e ".m-o o" 'e a m#$ina @ S.m-o o" 'e a cinta Contiene o" ".m-o o" 'e a m#$ina ? 0a #$e to'o" %an a i( en a cinta A ,$nci&n 'e t(an"ici&n a c$a no" 'a( a" t(an"icione" 0 en #$! e"ta'o e"tamo" )a(a ca'a ".m-o o 'e a cinta i E"ta'o inicia / E"ta'o 'e )a(a'a

M#$ina 'e T$(ing

C nta Smbolos de trans ! "n Cabe#a
i/ "9 "1

Una m#$ina 'e T$(ing )$e'e4 Lee( E"c(i-i( B$"ca(

Me!an smo de Control

La" )(o)ie'a'e" -"ica"4 "on4 Inicio Dina
i o

E"ta'o inicia "iem)(e em)ie3a con o" c c$ o"

E"ta'o 'e )a(a'a "iem)(e %a te(mina( con o" c c$ o"

M#$ina 'e T$(ing

Re$resentar !omo %n a%t"mata

aFR Una m#$ina 'e T$(ing )$e'e ee( a a 'e(ec/a a a i3#$ie('a, )$e'e -$"ca( o )$e'e e"c(i-i(

-FR E"ta'o 'e inicio E"ta'o 'e ,ina i3a(

aFR "e enc$ent(a $na a #$e "e 'e") a3a /acia a 'e(ec/a -FR "e enc$ent(a $na - #$e "e 'e") a3a /acia a 'e(ec/a Ga"ta #$e enc$ent(e $n e")acio %ac.o a m#$ina te(mina( "$" c c$ o"

M#$ina 'e T$(ing

5a(a a "e %a 'e") a3a( a a 'e(ec/a 0 "e 'e") a3a a a "ig$iente )o"ici&n a a 'e(ec/a "e enc$ent(a con $n a $ego /ace e mi"mo )(oce"o 0 "e %a a a 'e(ec/a 0 %a a encont(a( a )o"ici&n b e"ta /ace ig$a #$e "e (eco((a a a 'e(ec/a $na %e3 e"tan'o en e"te e"ta'o 0 encont(an'o $n e")acio en - anco )o'emo" %e( #$e a m#$ina /a te(mina'o "$ )(oce"o+

Se enc$ent(a $na cinta

a a b

ca-e3a
i n

E"ta'o 'e inicio

E"ta'o 'e ,ina i3a( Si"tema 'e cont(o

GRACIAS