ALUMNO: ROLANDO ORTIZ HERBAS – CARRERA: LIC.

MATEMATICAS UNADM

Materia: Computación I

Alumno: Rolando Ortiz Herbas

e-mail: maasher7@hotmail.com
rolandoortiz@nube.unadmexico.mx

Grupo: MT-MCOM1-1902-B2-001

Matricula: ES1821014044

Maestra: José Luis Mondragón Diego

Fecha: 05-Oct-2019

Unidad 1 A1 Autómatas y Gramáticas

Carrera: Lic. en Matemáticas

Página 1 de 5
 ALUMNO: ROLANDO ORTIZ HERBAS – CARRERA: LIC. MATEMATICAS UNADM

1) Un tren (el metro de la línea 12 podría ser buen ejemplo)

Cuantos estados consideras que tiene un tren como el
mencionado
a) 2 estados
b) 3 estados
c) tantos estados como estaciones

Primeramente, recordamos que un autómata finito está definido como

AF = (Σ , Q , 𝑞0 𝜖 𝑄 , 𝐹 ⊆ 𝑄 , 𝛿)
Donde
Σ es el alfabeto de entrada
Q es el conjunto de estados
𝑞0 𝜖 𝑄 es el estado inicial del Autómata Finito (AF)
F es el conjunto de estados o estado final
𝛿 ∶ QxΣ →Q

Para el tren definiremos:

Q = {(RPA = En reposo con puerta abierta), (RPC= En reposo con
puerta cerrada), (M = en movimiento)}
Σ = {(AP=abrir puerta), (CP=cerrar puerta), (IM= iniciar marcha), (DM=
detener marcha)}
𝑞0 = RPC (en reposo con puerta cerrada)
F = RPC (en reposo con puerta cerrada)
𝛿 las transiciones las definiré mediante el siguiente grafo.

Página 2 de 5
 ALUMNO: ROLANDO ORTIZ HERBAS – CARRERA: LIC. MATEMATICAS UNADM

Tiene entonces 3 estados el autómata finito del Tren.

b) Cuantos estados consideras que el elevador del ejemplo?

Para el elevador definiremos: (según el autómata del texto del
curso)
Q = {(Movimiento), (Esperando)}
Σ = {(parada superior), (parada inferior), (emergencia), (abrir puertas)}
𝑞0 = Esperando
F = Esperando

Página 3 de 5
 ALUMNO: ROLANDO ORTIZ HERBAS – CARRERA: LIC. MATEMATICAS UNADM

𝛿 las transiciones.

En este autómata finito existen 2 Estados, pero definiré un mejor

modelo del elevador como sigue:

Q = {(Detenido), (Subiendo), (Bajando)}

Σ = {(arribo piso destino), (selecciona piso destino)}
𝑞0 = Detenido
F = Detenido
𝛿 ∶ Q x Σ → Q esta definido por el siguiente grafo

Página 4 de 5
 ALUMNO: ROLANDO ORTIZ HERBAS – CARRERA: LIC. MATEMATICAS UNADM

Este autómata finito tiene 3 estados, pero según querramos aumentar

mas detalle del funcionamiento tendrá mas estados.
Bibliografía (formato APA):
• Apuntes UnadM, Computación I, 2019, UNADM.
• J. Hopcroft - R. Motwani - J. Ullman, Teoría de Autómatas,
Lenguajes y Computación, 2007, Pearson

Página 5 de 5