!

"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

7. Nquinas ue Tuiing.
Aracell Sanchls de Mlguel
AgaplLo Ledezma Lsplno
!ose A. lgleslas Marunez
8eaLrlz Carcla !lmenez
!uan Manuel Alonso Weber
Crado lngenlerla lnformuca
1eorla de AuLmaLas y Lengua[es lormales

!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

lnLroduccln, uenlcln y
L[emplos
1lpos de M1
Lqulvalencla y varlanLes de M1
2
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Intiouuccion
La Mqulna de 1urlng (M1) fue descrlLa por Alan 1urlng en 1936.
Alan 1urlng (lngles: 1912 - 1936)

lue un clenuco lngles que hlzo
grandes aporLaclones en: maLemucas,
crlpLoanllsls, lglca, losona, blologla,
clenclas de la compuLacln, lnLellgencla
aruclal y vlda aruclal.

Ls conslderado uno de los padres
de la clencla de la compuLacln. Ls el
precursor de la lnformuca moderna.
0iigen:
3
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
ulsposluvo hlpoLeuco capaz de manlpular slmbolos en una ura de
clnLa conslderando clerLas reglas. A pesar de su slmpllcldad, pueden
slmular la lglca de cualquler algorlLmo de un compuLador.
una M1 esL formado por:
ClnLa lnnlLa dlvldlda en celdas
Cabezal de lecLura/escrlLura capaz de moverse sobre dlcha clnLa.

ulferenLes verslones que slmulan una M1
vldeo
vldeo
vldeo
4
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
;)&<%
;:&<7:4
.-
=*<%.:*
;%>-/% ,-'<?7%@
=*'7)<?7%
9:A)0)-&<:
1 0 1 0
Repiesentacion:
! ! ! !
3
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
=*<%.:B
C
0peiaciones:
LsLando en un esLado C y leyendo el slmbolo de
la celda de la cabeza de L/L (L[: 0), se reallzan
(en esLe orden) las slg. acclones:

1. asa a un nuevo esLado. (L[: S)
$
2. Lscrlbe un nuevo slmbolo en la clnLa
(reemplazando el exlsLenLe). (L[: 0 ! 1)
3. Mueve el cabezal de L/L hacla:
urcha, lzqda, o no se mueve (L[: lzqda)
;)&<%
1 0 1 0 ! ! ! ! 1
6
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT

una M1 se dene como una 7-Lupla:

M1 = (!, ", b, Q, q
0
, f, F)
uonde:


$80>:4:
! AlfabeLo de slmbolos de la clnLa.
" ! AlfabeLo de enLrada.
b ! ! slmbolo especlal- espaclo en blanco (b " "). 1b se represenLa como: #
Q con[unLo nlLo de esLados.
q
0
! Q esLado lnlclal.
F # Q con[unLo de esLados nales o de acepLacln.
f funcln C $ C % C $ C $ [#$ %$ &} (donde #' lzqda, %: urcha y &' arada).
Befinicion Foimal:
7
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
Caiacteiisticas:
La clnLa se supone lnnlLa por ambos lados.
lnlclalmenLe la clnLa conuene un numero nlLo de slmbolos
consecuuvos (de ") precedldos y seguldos por el slmbolo b (o #).
La cabecera de L/L esL slLuada lnlclalmenLe sobre el elemenLo ms
a la lzqulerda de la palabra.
1oda M1 se represenLa por una Labla de Lranslcln (como el resLo de
AuLmaLas). Sl la Lranslcln no es poslble ! La M1 () *)+),).
! D=*<%.:*E $80>:4: $80>:4: F
-(./*0 1-(./*0$ 234!050$ 607849: 1-(./*0$ 234!050$ 607849: .
-(./*0 1-(./*0$ 234!050$ 607849: 1-(./*0$ 234!050$ 607849: .
. . . .
8
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplo ue una NT
6;<= = ( !={0,1,b}, "={0,1}, b, Q={q
0
, q
0
, q
0
}, q
0
, f, F={q
F
} )
donde f:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

9
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplo ue una NT
6;<= = ( !={0,1,b}, "={0,1}, b, Q={q
0
, q
0
, q
0
}, q
0
, f, F={q
F
} )
donde f:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

LsLado
lnlclal (!)
LsLado
llnal (*)
uesplazamlenLo:
u -> uerecha
l -> lzqulerda
-> arada

1amblen puede
represenLarse como: +,-,=
8epresenLacln: (LsLado al que LranslLa,
Slmbolo que se escrlbe en la clnLa,
MovlmlenLo que reallza el cabezal de L/
L)
1amblen puede
represenLarse
como: #
10
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplo ue una NT
6;<= = ( !={0,1,b}, "={0,1}, b, Q={q
0
, q
0
, q
0
}, q
0
, f, F={q
F
} )
donde f:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

11
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplo ue una NT
6;<= = ( !={0,1,b}, "={0,1}, b, Q={q
0
, q
0
, q
0
}, q
0
, f, F={q
F
} )
donde f:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

=*<%.:B
q
0

;)&<%
0 0 b 1 ! ! ! 1
lnlclo
q
1

1
0 0 1
q
F

>
Sln Lranslclones
! aro de la M1
12
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplo ue una NT
6;<= = ( !={0,1,b}, "={0,1}, b, Q={q
0
, q
0
, q
0
}, q
0
, f, F={q
F
} )
donde f:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

;)&<%
b ! ! 1
0 0 1 0
Al nal de la palabra (en el prlmer !), escrlbe:
0 ! Sl el numero de 1s de la palabra lelda es ar
1 ! Sl el numero de 1s de la palabra lelda es lmpar
Cmo funclona esLa M1?
13
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
Biagiama ue Estauos:
La funcln de Lranslcln Lamblen puede descrlblrse en forma de
dlagrama de esLados:

Los nodos represenLan esLados.
Los arcos represenLan Lranslclones de esLados.
Cada arco es euqueLado con los prerrequlslLos y los efecLos de
cada Lranslcln:
Slmbolo lnlclal,
Slmbolo que se reescrlbe,
ulreccln del movlmlenLo del cabezal.

14
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Befinicion ue una NT
Biagiama ue Estauos - Ejemplo:
! G H >
!q
0
1q
0
$ >$ % : 1q
1
$ =$ % : 1q
F
$ >$ & :
q
1
1q
1
$ >$ % : 1q
0
$ =$ % : 1q
F
$ =$ & :
*q
F

q
0 q
1
0, 0, u 0, 0, u
q
F
1, 1, u
1, 1, u
!, 1,
!, 0,
nomenclaLuraB
=?: 234!050 @A) () 5)) *) 5/ B8,./ 1!:
C?: 234!050 @A) () (0!D))(BD8!) ), 5/ B8,./9 1=:
E?: 6079 @A) D)/58F/ )5 B/!)F/5 1&:
13
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

lnLroduccln, uenlcln y
L[emplos
1lpos de M1
Lqulvalencla y varlanLes de M1
16
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Tipos ue NT
NT que acta como TRANSB0CT0R:
Modlca el conLenldo de la clnLa reallzando clerLa funcln.

NT que acLua como REC0N0CEB0R:
M1 capaz de reconocer un lengua[e G9
M1 capaz de acepLar un lengua[e G9
17
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Tipos ue NT
NT que acta como TRANSB0CT0R:
Modlca el conLenldo de la clnLa reallzando clerLa funcln.
-H(' 6; @A) (A(+.AI) 50( *3J8.0( K0D B)D0$
6; @A) /L/*) A, !8. *) K/D8*/* / 5/ ),.D/*/$
6; @A) *AK58B/ )5 ,M4)D0 *) =( @A) N/I ), 5/ B8,./
O
Sl la LnLrada esL blen formada:
debe Lermlnar en un LsLado llnal.
Sl la LnLrada no esL blen formada:
debe Lermlnar en un LsLado no llnal.
18
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplos ue NT
Bifeientes NT que no se uetienen:
NT que calcula !"# consiueianuo el nmeio !$%& como una sucesion ue #'(
q
0
b, b, l
1, 1, u
q
0
1, 1, u
q
1
b, b, l
b, b, u
1, 1, l
q
0
b, 1,
q
1
1, 1, u
19
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Tipos ue NT
NT que acta como TRANSB0CT0R:
Modlca el conLenldo de la clnLa reallzando clerLa funcln.

NT que acLua como REC0N0CEB0R:
M1 capaz de reconocer un lengua[e G9
M1 capaz de acepLar un lengua[e G9
20
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Tipos ue NT
NT que acta como REC0N0CEB0R:
M1 capaz de 8LCCnCCL8 o ACL1A8 un lengua[e G.
una M1 8LCCnCCL un lengua[e G$ sl dada una enLrada (P) en la
clnLa, la M1 SlLM8L se para, y lo hace en un Ll sl y slo sl: P ! G
una M1 ACL1A un lengua[e G$ sl dada una enLrada (P) en la
clnLa, la M1 se para en un LsLado llnal sl y slo sl: P ! G
Q(3$ ), )(.) B/(0$ (8 P " G $ 5/ 6; K0*D3/ ,0 K/D/D9

-H(' 6; @A) D)B0,0B) )5 5),JA/H) /R!R$
6; @A) /B)K./ )5 5),JA/H) /
,
!
,
B
,

O

21
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplos ue NT
NT que ieconoce el *%+,
!
-
!
. !$%&/
q
0
q
4
a, ., u
., ., l b, ., l
., ., u
., .,
q
1
q
2
q
3
#$%&'(' I-*?4<%.:
ab Aceptada
ba No Aceptada
aabb Aceptada
aab No Aceptada
abb No Aceptada
aaaabbbb Aceptada
Ln esLe caso, el slmbolo especlal- espaclo
en blanco (b " ") se represenLa como: # ,
porque ! !
22
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ejemplos ue NT
NT que ieconoce el *%+,
!
-
!
B
,
. !$%&/
q
0
q
7
a, 1, u
b, 2, u c, 3, l
., ., u
., ., l
q
1
q
2
q
3
q
8
b, b, l
a, a, l
2, 2, l
3, 3, l
3, 3, u
b, b, u
a, a, u
2, 2, u
q
6
3, 3, u
q
4
q
3
2, 2, u
3, 3, u
2, 2, u
a, 1, u
1, 1, u
., ., l
23
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

lnLroduccln, uenlcln y
L[emplos
1lpos de M1
Lqulvalencla y varlanLes de M1
24
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Equivalencia ue NT
Bos NT son equivalentes si:
Ambas reallzan la mlsma accln sobre 1CuAS sus enLradas. Adems, sl
una M1 no se parara para alguna enLrada, la oLra Lampoco podr
pararse.


Sl las M1 acLuan como 1ransducLor:
ara cada enLrada poslble, los conLenldos de la clnLa al nal del
proceso deben ser lguales.
Sl las M1 acLuan como 8econocedor:
Ambas deben AcepLar y/o 8econocer las mlsmas palabras.

23
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

vaiiantes ue NT
LxlsLen numerosas varlanLes de M1 obLenldas al resLrlnglr
algun aspecLo de las mlsmas:
Conslderemos algunos e[emplos:
M1 con alfabeLo blnarlo (! = {0,1,b}).
M1 llmlLada por un exLremo.
M1 con resLrlcclones en el movlmlenLo de L/L.
26
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

NT 0niveisal (NT0)
M1 capaz de slmular el comporLamlenLo de cualquler M1.
una M1u conuene en su clnLa:
1. La descrlpcln de oLra M1,
2. Ll conLenldo de la clnLa de dlcha M1,
y produce el como resulLado de su e[ecucln, el mlsmo resulLado
que produclrla la M1 sobre su clnLa.
27
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

7. Nquinas ue Tuiing.
Aracell Sanchls de Mlguel
AgaplLo Ledezma Lsplno
!ose A. lgleslas Marunez
8eaLrlz Carcla !lmenez
!uan Manuel Alonso Weber
Crado lngenlerla lnformuca
1eorla de AuLmaLas y Lengua[es lormales