Fase 4 - Modelar problemas de Lenguajes

ϴͲϱͲϮϬϮϬ Estructurados por Frases

Presentado por:
Raul Andrés Jiménez
Código: 80220672
Cel: 3229444753
Grupo 301495_16
Skype: Majive2006@hotmail.com

Presentado a:
Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia UNAD

Autómatas y Lenguajes Formales
Programa Ingeniería de Sistemas
CEAD JAG
Mayo de 2020
 (-(5&,&,26'(/$)$6(

(-(5&,&,2$ 5HJLVWUHDTXtHO(MHUFLFLRDWUDEDMDU3RU
75$%$-$5 IDYRUDJUHJXHODLPDJHQ

&DUDFWHUL]DFLyQ (QHVWHHVSDFLRVHUHDOL]D
GHODPiTXLQD  0HGLDQWHODGHILQLFLyQIRUPDOH[SOLFDUODV
GHWXULQJ FDUDFWHUtVWLFDVGHODPiTXLQDGH7XULQJ

8QDPiTXLQDGH7XULQJHVXQDVpSWXSOD
4™߁įT%)

 4 ^TTT` HV HO FRQMXQWR GH

HVWDGRV

 ™^`HVHODOIDEHWRGHHQWUDGDVLQ
FRQWHQHUVtPERORVEODQFRV

 ߁^`HVHODOIDEHWRGHODFLQWD
GRQGH

 įHVODIXQFLyQGHWUDQVLFLyQ

4î 4îͲî^5`

4î4îͳî^5`

4îȗ4îȗî^/`

4î4îî^/`

4î4îî^/`

4îȗ4îȗî^5`


  %HVHOVtPEROREODQFR

 )^T`HVHOFRQMXQWRGHORVHVWDGRV
ILQDOHV)‫ ك‬4
 THVWDGRLQLFLDO

 5HDOL]DU XQ FXDGUR GRQGH H[SOLTXH ODV

GLIHUHQFLDV\VLPLOLWXGHVGHODVPiTXLQDV
UHFRQRFHGRUDV\7UDVGXFWRUDV

0DTXLQDV 0DTXLQDV
UHFRQRFHGRUDV WUDQVGXFWRUDV

6RQ DTXHOODV TXH OD *HQHUDQ DFFLRQHV R
HQWUDGD HV ELQDULD VDOLGDV GHSHQGLHQGR
VLQR GHSHQGH GH ODV HQWUDGDV \R
~QLFDPHQWH GHO HVWDGR \ HVWDGRV
H[LVWHXQHVWDGRLQLFLDO

3XHGH GHFLGLUVH TXH 6H LPSOHPHQWDQ HQ

FXDQGR OD PDTXLQD VLVWHPDV HPEHELGRV
SURGXFH XQD VDOLGD HV WtSLFDPHQWH SDUD
SRUTXH KD VLGR DSOLFDFLRQHV GH
UHFRQRFLGRRDFHSWDGR FRQWURO
(VWDV PiTXLQDV ORV 
HVWDGRV FRQ VDOLGD
SRVLWLYD VRQ
GHQRPLQDGRV HVWDGRV
ILQDOHV



Procedimiento Realice de manera detallada y grafica el procedimiento paso
de paso a a paso del recorrido de una cadena (La cadena la selecciona
paso del el estudiante, debe contener como mínimo 10 caracteres) en
recorrido de la máquina de turing. Describir cómo funciona el
una cadena almacenamiento mediante el uso de las cintas, etc.
1 2 3 4 5 6 7 8 9 10

B 1 1 0 0 0 1 1 1 0 0 B

- Paso 1: Si la cabeza de la MT se encuentra en el estado q0

apuntando al símbolo 1, cambia el símbolo a 0 sin cambiar
de estado y moviéndose a la derecha repitiendo este
procedimiento con los 1s siguientes.

1 2 3 4 5 6 7 8 9 10

B 1 1 0 0 0 1 1 1 0 0 B

Para una transición:

δ(q0,1)=(q0,0,D)

1 2 3 4 5 6 7 8 9 10

B 0 0 0 0 0 1 1 1 0 0 B

- Paso 2: Si la cabeza de la MT se encuentra en el estado q0

apuntando al símbolo 0, cambia el símbolo a 1 sin cambiar
de estado y moviéndose a la derecha repitiendo este
procedimiento con los 0s siguientes.
 1 2 3 4 5 6 7 8 9 10

B 0 0 0 0 0 1 1 1 0 0 B

Para una transición:

δ(q0,0)=(q0,1,D)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 1 1 1 0 0 B

- Paso 3: Si la cabeza de la MT se encuentra en el estado q0

apuntando al símbolo 1, cambia el símbolo a 0 sin cambiar
de estado y moviéndose a la derecha repitiendo este
procedimiento con los 1s siguientes.

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 1 1 1 0 0 B

Para una transición:

δ(q0,1)=(q0,0,D)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 0 0 B

- Paso 4: Si la cabeza de la MT se encuentra en el estado q0

apuntando al símbolo 0, cambia el símbolo a 1 sin cambiar
de estado y moviéndose a la derecha repitiendo este
procedimiento con los 0s siguientes.
 1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 0 0 B

Para una transición:

δ(q0,0)=(q0,1,D)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

- Paso 5: Si la cabeza de la MT se encuentra en el estado q0

apuntando al símbolo B deja el símbolo intacto cambia al
estado q1 y se mueve a la izquierda.

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

Para una transición:

δ(q0,B)=(q1,B,I)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

- Paso 6: Si la cabeza de la MT se encuentra en el estado q1

continúa moviéndose a la izquierda sin cambiar de estado ni
simbolos hasta encontrar un símbolo blanco.
 1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

Para una transición:

δ(q1,0)=(q1,0,I)
δ(q1,1)=(q1,1,I)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

- Paso 7: Si la cabeza de la MT se encuentra en el estado q1

apuntando al símbolo B deja el símbolo intacto cambiar al
estado q2 y se mueve a la derecha.

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B

Para una transición:

δ(q1,B)=(q2,B,D)

1 2 3 4 5 6 7 8 9 10

B 0 0 1 1 1 0 0 0 1 1 B
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar
verificar lo por lo menos cinco cadenas válidas y 5 cadenas rechazadas
aprendido por la máquina. En este espacio adjunta la imagen.

Preguntas de control
1. La máquina de Turing creada en el ejemplo es una maquina es:

A. Máquina transductora
B. Maquina reconocedora
C. Maquina calculadora
D. Máquina estabilizadora

2. En la máquina de Turing creada de ejemplo el símbolo que representa

la cita es:2. En la máquina de Turing creada de ejemplo el símbolo que
representa la cita es:

A. 1
B. A
C. L
D. a
3. En la máquina de Turing creada de ejemplo la cadena que se ejecuta
es:

A. aa
B. aab
C. baa
D. ab

4. En el ejercicio desarrollado es el video de Códigos Convolucionales

Tellis y Viterbi la cadena que se utiliza es:

A. 10100110
B. 10010110
C. 11010010
D. 01011001

BIBLIOGRAFIA

CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First
Pocket Radio. [OVI]. Recuperado de http://www.ck12.org/book/Engineering%3A-An-
Introduction-for-High-School/section/5.2/

Kelley, D. (1995). Teoría de Autómatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.

Brookshear, G. (1993). Teoría de la Computación, Addison Wesley Iberoamericana.

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introducción a la teoría de autómatas,

lenguajes y computación. Addison Wesley.