UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela Ciencias Básicas, Tecnología e Ingeniería

AUTOMATAS Y LENGUAJES FORMALES

FASE 3

NOMBRE:

OSCAR DUSTIN HURTADO PICO

DOCUMENTO:

1.121.885.849

DOCENTE:

ANGELA MARIA GONZALEZ

GRUPO:

301405_65

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

RESTREPO – META

OCTUBRE, 2019
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

ACTIVIDAD 1

EJERCICIO A
TRABAJAR

𝑳 = (𝒂𝒏 𝒃𝒏 / 𝒏 ≥ 𝟏)

Donde “n” indica el numero de “a” y “b”, Teniendo en cuenta

esta ecuación siempre el número de repeticiones de “a” será
igual al número de “b”.
Ejemplo: “n=3 aaabbb”

AP= (Σ, Γ, Q, A0, q0, f, F) donde:

Σ= {a, b}
Caracterización
Γ = {a}
del autómata
Q = {q0, q1}
A0 = ʎ
q0 = q0
F = {q1}
f = función de transición
ơ = (qo, a, ʎ), (q0, a)

ơ = (qo, b, a), (q1, ʎ)

ơ = (q1, b, a), (q1, ʎ)

Procedimiento
n=4, aaaabbbb
de conversión
de Autómata
Finito a
Paso 1 “aaaabbbb”:
Expresión
Cuando el autómata se encuentre en el estado q0, lee el
Regular paso a
paso símbolo de entrada “a” y tiene el símbolo “a” encima de la pila
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 2 “aaaabbbb”:

Como se desea ingresar el símbolo “a” en otras 3 ocasiones,

el autómata entra en su ciclo en el estado q0 insertando en la
cinta de entrada “a”, “a”, “a” y en la pila “a”,”a”,”a”.

Paso 3 “aaaabbbb”:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

El automata pasará al estado q1, desapila el símbolo “a” de la

pila e introducirá el símbolo “b” en la cinta de entrada.

Paso 4 “aaaabbbb”:

Al igual que el paso 2, el autómata entra en un ciclo en su

estado q1 donde leerá el símbolo “b” por tres ocasiones
ingresándolo en cada ocasión en la cinta de entrada y
eliminando el símbolo “a” tres veces de la pila.

Ya para este paso, el autómata entra en su estado de

aceptación.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Practicar y
verificar lo
aprendido
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

BIBLIOGRAFÍA

• Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1

- 124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114
&ppg=10

• Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de
autómatas y lenguajes formales. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456
&ppg=6

• González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto.

[Archivo web]. Recuperado de http://hdl.handle.net/10596/18317

• Flacoloide. (2016, enero 14). Autómata de Pila (Maquina de pila). [Archivo de video].
Recuperado de https://www.youtube.com/watch?v=ufRfjKgaUgo&t=140s