Instituto de Estudios Universitarios IEU

Nombre del Alumno: Norberto Muñoz Atondo

Matricula: 86540
Grupo: CC28

(MC) TEORÍA DE LAS CIENCIAS

COMPUTACIONALES

Docente: Dr. Manuel Adán Méndez Méndez

Tema.

Actividad de aprendizaje

2. Construcción de autómatas y expresiones regulares

Magdalena de Kino, Sonora, a 17 de Julio del 2017.

Definición de elementos del autómata

1. Un conjunto finito de estados, a menudo designado como Q.

2. Un conjunto finito de símbolos de entrada, a menudo designado como ∑ (sigma).

3. Una función de transición que toma como argumentos un estado y un símbolo de

entrada y devuelve un estado. La función de transición se designa habitualmente como ᵟ o
Δ (delta).

4. Un estado inicial, uno de los estados de Q.

5. Un conjunto de estados finales o de aceptación F. El conjunto F es un

subconjunto de Q.

A= ( Q, ∑ , Δ ,q0, F ) (BRENA, 2003)

Objetivo:

Construir autómatas de números binarios, los cuales son la base de operación de las
computadoras para realizar todos los procesos que permiten su funcionamiento.

1. Construye un autómata para reconocer cadenas, cuyo número de ceros sea divisible
entre 3 y el número de unos sea divisible entre 5.
2. Posteriormente, convierta el autómata obtenido en una expresión regular. Prueba tus
resultados con las siguientes cadenas 00011111 y 00001111100

A= ( Q, ∑ , Δ ,q0, F )

Q = {q0,q1,q2,q3,q4,q5,q6,q7}

∑ = {0,1}

Δ=
{((q0,1),q1),((q1,1),q2),((q2,1,)q3),((q3,1)q4),((q4,1)q0),((q0,0)q5),((q5,0)q6),((q6,0),q7),((q
7,0)q0) ]

F = {q0}

Prueba de cadenas

q _ Δ(q,)

Q0 1 Q1

Q1 1 Q2

Q2 1 Q3

Q3 1 Q4

Q4 1 Q0

Q0 0 Q5

Q5 0 Q6

Q6 0 Q7

Q7 0 Q0

Bibliografía
BRENA, R. (2003). LENGUAJES REGULARES Y SUS MAQUINAS. TEC DE MONTERREY.