Está en la página 1de 4

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
conversión de del autómata a expresión regular y según ejemplo revisado.
Autómata 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 = (a c )

q1= ( a c) q2 ‫ ׀‬ʎ
¿ ¿
q0 = a (a c ) . b(a c ) . c ¿

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


convertido autómata trabajado.
¿ ¿
q0 = a (a c ) . b(a c ) . c ¿

Lenguaje En este espacio agrega el lenguaje regular


regular correspondiente a la expresión regular.
¿ ¿
q0 = a (a c ) . b(a c ) . c ¿

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 - Identificación del Autómata Finito Determinista o Autómata Finito
No Determinista
- Explicar las características del tipo de autómata

Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión


conversión paso a paso del autómata según corresponda y según ejemplo revisado.

- Paso 1…
- Paso 2…
- Paso 3…
Autómata Final En este espacio se presenta el autómata final
convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos autómatas, el


verificar lo original y el autómata resultado final de la conversión y validar por lo
aprendido menos tres cadenas válidas y tres cadenas rechazadas.

En este espacio agregar las imágenes tomadas del simulador utilizado.

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=10751543&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

También podría gustarte