UNIDAD 1: FASE 1 – PRESABERES

PRESENTADO POR:
CARLOS ANTONIO RAMOS HIDALGO
CODIGO:
1.061.813.817

TUTOR:
ROLANDO FABIAN JUNCO

GRUPO:
301405_37

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
ECBTI
PROGRAMA DE INGENIERIA DE SISTEMAS
AUTOMATAS Y LENGUAJES FORMALESPOPAYÁN CAUCA
MARZO 2020
 DESARROLLO DE LA ACTIVIDAD

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

EJERCICIO A Registre aquí el Ejercicio a trabajar.

TRABAJAR
Ejercicio 2

Ilustración 1 Ejercicio Numero 3 según número final de la cedula

Caracterización del En este espacio se realiza:

autómata - Autómata Finito No Determinista
- Explicar las características del tipo de autómata
- Autómata Finito No Determinista se caracteriza por tener una sola
entrada y muchas salidas es un sistema SIMO lo cual permite ir a varios
estados
Un autómata finito no determinista (AFND) es un modelo matemático
definido por la quíntupla M=(Q, ∑,f, q0, F) en el que:
 Q es un conjunto finito llamado conjunto de estados.
 ∑ es un conjunto finito de símbolos, llamado alfabeto de entrada.
 f es una aplicación llamada función de transición definida como: f:
Q x (∑ U { λ}) → P(Q) donde P(Q) es el conjunto de las partes de
Q, es decir, conjunto de todos los subconjuntos que se pueden
formar con elementos de Q q0 es un elemento o estado de Q,
llamado estado inicial. F es un subconjunto de Q, llamado
conjunto de estados finales.
Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión del
conversión de Autómata autómata a expresión regular y según ejemplo revisado.
Finito a Expresión
Regular paso a paso
q1 = aq1, b q2, c q3

q1 = aq3

q2 = aq3

q3 = c q2 ‫ ׀‬ʎ
 SEPARAMOS LAS ECUACIONES

q3 = c q2 ‫ ׀‬ʎ

remplazar q3

q2 = (𝑎 𝑐)∗

q1= ( a c) q2 ‫ ׀‬ʎ

q0 = a (𝑎 𝑐)∗ . b(𝑎 𝑐)∗ . 𝑐 ∗

Autómata Final En este espacio se presenta la expresión correspondiente al

convertido autómata trabajado.
q0 = a (𝑎 𝑐)∗ . b(𝑎 𝑐)∗ . 𝑐 ∗

Lenguaje En este espacio agrega el lenguaje regular correspondiente

regular a la expresión regular.
q0 = a (𝑎 𝑐)∗ . b(𝑎 𝑐)∗ . 𝑐 ∗

Tabla 1 Ejercicio Numero 1.2

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

deterministas (AFD a AFND) y viceversa

Ilustración 2 Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

deterministas (AFD a AFND) ejercicio
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen
TRABAJAR

Caracterización del En este espacio se realiza:

autómata
- Autómata Finito No Determinista
- Explicar las características del tipo de autómata
- Autómata Finito No Determinista se caracteriza por tener una sola
entrada y muchas salidas es un sistema SIMO lo cual permite ir a varios
estados
Un autómata finito no determinista (AFND) es un modelo matemático
definido por la quíntupla M=(Q, ∑,f, q0, F) en el que:
 Q es un conjunto finito llamado conjunto de estados.
 ∑ es un conjunto finito de símbolos, llamado alfabeto de
entrada.
f es una aplicación llamada función de transición definida como: f: Q x (∑ U {
λ}) → P(Q) donde P(Q) es el conjunto de las partes de Q, es decir, conjunto de
todos los subconjuntos que se pueden formar con elementos de Q q0 es un
elemento o estado de Q, llamado estado inicial. F es un subconjunto de Q,
llamado conjunto de estados finales.
Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión del
conversión paso a paso autómata según corresponda y según ejemplo revisado.

∑(𝑎, 𝑏, 𝑐)

Alfabeto

Estado a b c

qo q1 q2 q0

q1 q3 q1,q2 ---

q4  q1,q2 q3,q3 q1,q2 ---

 q3 --- q1 ---
q2 q3 --- ---

Autómata Final convertido En este espacio se presenta el autómata final

Practicar y verificar
lo aprendido

BIBLIOGRAFIA

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232).
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&docID=10751
543&tm=1481476339478
González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351