M

MAQuINAS DE TORING FECHA

La maqina Tuing es un clspositi vo elcod es on autómata

ole
finito gue ospone de Una Gnica cinta oe lanqi tud infinttd en la

qoe sepuedel leer esceibir ddtos. Sta e

muy simple como
paxa podev Ye presenta S0 ContiqorCcion de manera
Ufilkzando Una notackón Senci la muy Similay d s precisa,
descripcine
instantaneaS de un aulómata ila..
A tinales del siqlo xx,el mafemtica DHilbert se preguttó stexis tía ona
orma de determinar st.cualguey lérmla ok cdlub do predecudes de
primer orden, aplicada d eneros erd erdadeyd. do ge el dlulo de pre
tcadas de pånex orden 2obre s enercs sSuftaenemente poeafe para
expresar proposi ctones como Nesta. gramática amloiaa o este p1arama
munda
mpye nola,
En 1131,k.Gödel ebh6soesrema de la Incspletitud. onstruye
Uina 4Srmula para el alalo_de predicados qplh.cada a loS eneroS,
guedfirmaba gela popa fármua no paoda cer n okmoSfrah ni
eiut.ada cento del aloulo de pedicados
tn
o dele
1136, A.M.Tuihg piopusola
de cualgcter posile comptacton
maglaa de loving
5temodelo escomo
una computadova.,enluqau decomo un_proqranna, inclo&6 aunque los
erdadecs_coMpotaclotas elecfroniccis oihcloSo efectiome.cántas apave
apave
eieronuattos anes aleSpues
Lamáguna consta deuna uncdad docontrcly ge
pces enntravse
encoalguierc de on conune tnitode estada5- Flay unc cinta olviclt
c enCoadvados o casilasy Cacda cnsi lla peck con kener un simbols
|deentro un númeo inifo degímbolos.Uniddd
decontrol|
KnB8
La entvada,guees,una coclenae simloclo5 de longi fd fini ka
elegides cdel alfabefo de entrada, se coloca en lacinta. las carilbs
restantes de itg derechd, tnicia lunenke alnacen.an un smbolo
2Specaldenominado espacis enblanco 6Lespaco en lolanco es
Kip
 FECHA

un de cinta,
Simlbdlo pero no Un STm.bo lo de entradd, y puedan
de
exisir ambien erticssmbeslos de.ctnld además de lo3 Sm.boles
entada del espacia en blanco.
Exse und osbeea de laanta gue Stempre eotá stHuada en unc la
Las casillas de a
ctnta. ntcaImente la calbera ele ls cinta

ostâ en casi lh mäs a la cgulerda

lod qe contienela entrada.
On imouimeento de. la ma guna de Tovtng es Ona foncton lel esfado
delaonidad oe contiol y el s{mbelo olé Cinld al ge sema la la
beza tn m moulmeento ld maguind ole
Turtag
1 Cambtará de estado. tlsiquienfe estado puecle ser ofaondilnele
el misma
gee erfado acfual.
a
2 cribirá un en cabe

.
stmbols ole cinta la cus illa geseñalea loa

5He reemplaza a codlguiev

otmbelo qoe estuuieva anteriovmente e
alecha casilla. Puede 6er elmisms gce yd estaba allí.
louet lo cabezd de la canla hacid la lequteydo o hacta
a derecha. No se permiktv que la coloet qecdo estactondri

Canotactn ormal gue.se euplecdpara ona mãquind de loviaq

MT) esStmilaralaqe hemos empleado parales automafas
finctoso aod6md tasee
los bimo3 on prla. Descri medcan k la

Scguiege septuaz M=Q,E,S,G0, B,F)

G ae
nunto fcnito Oncdad estu.bs ola la elo conhol.

Con(onto finitode sTm belos de entrada

Ccnjunto completo de sTmboles elh anta; E
siempre es sebconjunte do
tuncon de transrei6n.Le5 avgumentes ok (q, X) son Un S
estado qunsímbalo oh cnta X. Eluakr de S(q, si ),
está deftndoyes
1-P.eeel stcjuten
2 Yes elsín bolo ,
(p, D)dende
edeastado
la cabeca 9 gueSusd tuye .c
en con traro en ella
de
se escríbe en la casilld

cualgurer Ssim bolo

qle señala
qe se
3. D.es una direcciónpuedo ser Lo R,
que hoS tleca lo
la

hveccionen quelalloctdS2mue ve1zquiercda(L) S

Kip
 D M

FECHA

aleredha" (R), tespeckuamenle

g0 fada intcitl, un elemenfo de Q, enel
que.intctal mene se

8es enccentra la oncelad de centrol.

Elstmbolo espaLct'o en blahco. Fetenece d
dectY ho es
pero no.d E
on Simbalo de entrada.tlespcacio en bloAn.co
qpalece intcta men le en dodoS los castlas
excepts en.agcellas
gue sa lImacenan losSTm bolos sle entvada.
de los esftados fnales o de aqpta.cin,
CGnjunts un sdlconjunto

Se oftlta la catdena
KiXz-anX144 Xi Xit«Xn para eprejern
tar ona Conttquraci0 en la qce
1.-9 sed elestado ae la magcina lortng e
2.-La cubeza ole la cinta estégenalando alsímbolo 1-eNmo
empezandopoy laizqcievda
SXXz Seala cde la anA com.prendrda entre los
patle
STmbolss destintssslelespaco en blanco mas lalzqurerday a
q
mas la deecha.omo excepcton, sila cobeza esta la a
izquteydd cea Smbolo mas ala itq.guenoes un espado e
elanco o a
ala derecha del sim bols más la deredhd gueno
esun espcLcio en blanco, en foncason_pretio 6Un Sottjo deX\XX
oXaGerânespectoS en blahco ei Jer tgual d 1 oa,
espectivainen4te.
D Describrendb les mauimtentos dena
maguina dk loring
R
oliltzando le hatacidAgue EMpleaen aotámatas pild.
Se usaá Epara indtedy losmauimrentos,0filicavemos
os0 lo pcara indtcay cero, uno omasmcuimcen-es ole
la T
Sponqdamos geSCq,kt)=lp,Y,L), esdecik, el sqUrenemoucmiento
redliza a la icguerd t, Entonces
X1KaXi-14X1Xit1--. XnXXXiPXi- YXisXn
SHe nMovimrano relleja elambio.al slacda py
el
hecdo de ge
(acbeca de lacwta aholaseñalo ala caSilaI-1. ExsEn doS
exCepcenes
Kip
 D M A

FECHA

1-Sxie LenHoncas M semuele al e3pacio e.a lblanco gue

encceara_a la itgquteda
X1XseXa9
L Stizne Ye 6,el fonces
de X
p 6YX2
el sim.balo B
Xn
esciíte sobk An
Seañade ald Secuencta IAfinita de leS es pactos en olanco ge
hay sespca deocadcna de entrad na apavecera en la
stguiene contcgqura.cton.
X, XgXn=L g Xa XX
p Ån
=
Xn-2
pengamos aho.ra gce S(q,X:) (p,Y,R): es decir, el
Stquienk naovimrento es hactla dehechd.Ertence.S,
XXqX-qX X Xn
XXzXi- YpXitl xa
tmovinienfe retleja elhecho degee la caleza je ha
La
1
moutdo ala aStlla 1f.Sefcene dss ecepciones:
inentences l
blanco, par lo ge deehad
casilditt almacendon espacts
caalla ne toimdpd jafe de a
Colitgutacion cnetcr:
XXXa-lqXa XiXqKa-
2--Si i=1e =6, catencesel s[onbalo 5escrubeSabre
pB
Seafdda Q la secaeiaindiaiid de loses paco 3cnblahc
anterraes a ldcadenade entradd no aparecerk en l
Sigien confiquacsA2
9xX2 Xn X2Xn1
Depocde reptesentargrGdtcd mene hs tiansictene
máguina da lari1g altqudl ge htCm.os con (S autõniatas
una e
apila
Cohgta de un conjUnto ale nodoS gce se cefres
peh den con les
estadoso la MT On drco ge
va ok sale un estado q a
estadop
Seetigeta.con oRO Omas elemen tes de la fetmd x/ND, don de
Xe Son sim bolas de cinta y D
especiftcd und olcreceton
bren LCiz) o
Rokjecha).

Kip
 DMA
FECHA

Vamos d ler cómo ota dle

mqulnc loring puedo alcolay la funcion,
qcereci be el nombe Sutr accial propta y 3e define
ole
medtahe m-n= max
deay, m-n es m-n St
m2n y Ost mcn a(m-n,0)Es
vedllza l op:
especift cación de una MT qe
M-(90 94,me,4){o,1,0,1,BS,go,B)
070 Y
Intco O/x- 1/1
+010
xX-B
dela
B/6 Acepta cacdenas
orma 0"1

lemosuqelido gee ld magcina de Toing acepta un lenguare. La

Ocolena de entaca Se coloa en cinta c y
la abeza oe aanta
sonalael sTmbolo de entroda maa
ld izq.Stla HT entra en
unestado le aceptacen,enfetces la entradd se aceptd, YRe S-
dcepta en Cualcqcrer Ofro cdso.
ELConfunto de ge peclemos
maguna deCorttg
enumera bles
a
lenguajeS
menodo Se
o lengajes RE.
acep tar ofilicandg
doncm.inan
oAg

lenquayesrecwrsiuanmene

Kip