INSTITUTO DE ESTUDIOS UNIVERSITARIOS

NOMBRE DEL ALUMNO: HERNNDEZ AUSTRIA RUBICEL.

MATRICULA: 72759.

GRUPO: 04

NOMBRE COMPLETO DE LA MATERIA: TEORA DE LAS

CIENCIAS COMPUTACIONALES.

NOMBRE COMPLETO DEL DOCENTE: DRA. CORONADO DE

ALBA LILIAN DINORAH.

NM. Y TEMA DE LA ACTIVIDAD: # 4 DISEO DE EXPRESIONES

REGULARES Y AUTOMATAS DE PILA.

CIUDAD Y FECHA: CALNALI, HGO., A 21 DE DICIEMBRE DE 2015.

INSTITUTO DE ESTUDIOS UNIVERSITARIOS

INTRODUCCIN
El matemtico ingls Alan Turing defini su mquina como una mquina
automtica la cual no est diseada como una tecnologa de computacin prctica
sino como una mquina de computacin lgica y es particularmente til en la
explicacin de las funciones de una CPUdentro de un computador.
La mquina de turing consta de lo siguiente:
1. Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un smbolo de algn alfabeto finito. El alfabeto contiene un
smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es arbitrariamente extensible
hacia la izquierda y hacia la derecha, es decir, la mquina de Turing
siempre es suministrada con tanta cinta como necesite para su
computacin. Las celdas que no se hayan escrito previamente se asumen
que estn rellenas con el smbolo blanco. En algunos modelos la cinta
tiene un extremo izquierdo marcado con un smbolo especial; la cinta se
extiende o es indefinidamente extensible hacia la derecha.
2. Un cabezal que puede leer y escribir smbolos en la cinta y mover la cinta a
la izquierda y a la derecha una (y slo una) celda a la vez. En algunos
modelos el cabezal se mueve y la cinta es estacionaria.
3. Un registro de estado que almacena el estado de la mquina de Turing, uno
de los estados finitos. Hay un estado inicial especial con el que el registro
de estado se inicia. Turing escribe que estos estados reemplazan el
"estado de la mente" en que ordinariamente estara una persona realizando
clculos.
4. Una tabla finita de instrucciones (llamada ocasionalmente como tabla de
accin o funcin de transicin). Las instrucciones son usualmente 5-tuplas:
qiajqi1aj1dk, (a veces 4-tuplas), que, dado el estado (qi) en que la mquina
se encuentra actualmente y el smbolo (aj) que se est leyendo en la cinta
(el smbolo actualmente debajo del cabezal) le indica a la mquina hacer lo
siguiente en secuencia (para los modelos de 5-tupla):
Esta mquina transforma una entrada en una salida despus de algunos pasos.

INSTITUTO DE ESTUDIOS UNIVERSITARIOS

En el desarrollo de la actividad resolver el ejercicio planteado en la primer parte
de la tarea.

Desarrollo

Realiza los siguientes ejercicios:

1.

Sea ={a,b}. Escribe expresiones regulares para los siguientes lenguajes:

o

Cadenas con al menos tres b's

Cadenas con un nmero de a's divisible por 2

Cadenas con al menos una aparicin de la subcadena aaa

Tabla de transiciones

Estados

a
q0
q1
q2
q3
q4
q5
q6
q7
q8
q9

INSTITUTO DE ESTUDIOS UNIVERSITARIOS

q10
q11
q12
q13

INSTITUTO DE ESTUDIOS UNIVERSITARIOS

2.- Disear un autmata de pila que acepte el lenguaje L={ai bi:i1} con alfabeto
= {a, b}.
M = (Q,q0,F,,,s0,), donde ={a,b}, ={s0,A,B}, Q ={q0,q1,q2}, F ={q2}
funcin de transicin
(q0,a,s0) = (q0,As0),
(q0,a,A) = (q0,AA),
(q0,b,A) = (q1,),
(q1,b,A) = (q1,),
(q1,,s0) = (q2,s0).

Bibliografa:
Brena, R. (2003). 79-102.pdf
Gmez, D., Prado, L. M. (2012). 91-109.pdf

INSTITUTO DE ESTUDIOS UNIVERSITARIOS

Hopcroft, J. E., Motwani, R., Ullman, J. D. (2007). 217-231.pdf