Autómatas y Lenguajes Formales

Actividad Individual

Unidad 1- Fase 2
Conocer Formalismos Usados Para Definir Lenguajes Formales

Presentado a:

Vermen Rainer Ayala

Estudiante:

Diana Katerine Guaca Bolaños

Código: 1059908475

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

FEBRERO 2020
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

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

Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización - Autómata Finito Determinista

del autómata
- Consta de:

1. Un conjunto finito de estados 𝑄.

2. Un alfabeto ∑ de símbolos de entrada.
 3. Una función de transición 𝛿 que especifica
cómo evoluciona de estado el AFD:

𝛿: 𝑄 × ∑ → 𝑄

4. Un estado inicial 𝑞0 ∈ 𝑄.
5. Un conjunto 𝐹 de estados de aceptación.

𝐴 = (𝑄, ∑, 𝜎, 𝑞0 , 𝐹)

Procedimiento
de conversión Paso 1: Generar un sistema de ecuaciones, una por
de Autómata cada estado, con el fin de dejar la solución en
Finito a términos de la entrada:
Expresión 𝑞0 = 𝑎𝑞1 + 𝑏𝑞2 + 𝑐𝑞0 (1)
Regular paso a 𝑞1 = 𝑎𝑞3 + 𝑐𝑞1 (2)
paso 𝑞2 = 𝑎𝑞3 (3)
𝑞3 = 𝑏𝑞0 (4)
Paso 2: Por medio de la estrella de Kleene
𝑥 = 𝑟𝑥 + 𝑠
𝑥 =𝑟∗𝑠
Paso 3: Resolviendo las ecuaciones tenemos:
𝑞1 = 𝑎𝑞3 + 𝑐𝑞1
𝑞1 = 𝑐𝑞1 + 𝑎𝑞3
𝑞1 = 𝑐 ∗ 𝑎𝑞3
Reemplazando en (1) la ecuación reducida
𝑞0 = 𝑎𝑞1 + 𝑏𝑞2 + 𝑐𝑞0
𝑞0 = 𝑎𝑐 ∗ 𝑎𝑞3 + 𝑏𝑞2 + 𝑐𝑞0
Reemplazando en (4) la ecuación reducida
𝑞0 = 𝑎𝑐 ∗ 𝑎𝑏𝑞0 + 𝑏𝑞2 + 𝑐𝑞0
Factorizando
𝑞0 = (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐)𝑞0 + 𝑏𝑞2
Aplicando nuevamente la estrella de Kleene para 𝑞0
𝑞0 = (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐)𝑞0 + 𝑏𝑞2
𝑞0 = (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐) ∗ 𝑏𝑞2
Reemplazando (3) en la ecuación anterior
𝑞0 = (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐) ∗ 𝑏𝑎𝑞3
Autómata Final 𝑞0 = (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐) ∗ 𝑏𝑎𝑞3
convertido

Lenguaje (𝑎𝑐 ∗ 𝑎𝑏 + 𝑐) ∗ 𝑏𝑎
regular
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Autómata Finito Determinista

- Consta de:

Un conjunto finito de estados 𝑄.

Un alfabeto ∑ de símbolos de entrada.
 Una función de transición 𝛿 que especifica cómo
evoluciona de estado el AFD:

𝛿: 𝑄 × ∑ →𝑄
Un estado inicial 𝑞0 ∈ 𝑄.
Un conjunto 𝐹 de estados de aceptación.
𝐴 = (𝑄, ∑, 𝜎, 𝑞0 , 𝐹)
Procedimiento Transformación de AFD a AFND
de conversión
paso a paso Como primera medida debemos crear la tabla de
transiciones para nuestro autómata, en el costado
izquierdo irán los estados y en las columnas el alfabeto al
que responden positivamente:
- - a - b - c
- q0 - q1 - q2 - -----
- q1 - q3 - q1 - -----
- q2 - ----- - ----- - q1
- q3 - ----- - q1,q2 - -----
El paso siguiente es poder validar cada una de las transiciones
encontradas una por una, para después minimizar el autómata:
- VALIDACIÓN
- q0 - q1 - q2 - -----
- q1 - q3 - q1 - -----
- q2 - ----- - ----- - q1
- q3 - ----- - q1,q2 - -----
- q1,q2 - q3 - q1 - q1
Ahora asignamos nombres a los estados posibles:
𝑄0 = {𝑞0 }
𝑄1 = {𝑞1 }
𝑄2 = {𝑞2 }
𝑄3 = {𝑞3 }
𝑄4 = {𝑞1 , 𝑞2 }
Autómata Final
convertido
Practicar y
verificar lo
aprendido

Como se evidencia en las imágenes anteriores se muestra

el autómata original y transformado, adicional, allí se
muestra como bajo las mismas tramas propuestas los
autómatas responden igual.
 BIBLIOGRAFIA

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=3
18032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

 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=105661
14&ppg=10

 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes

formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=104984
56&ppg=6

 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No

Determinista a Autómata Finito Determinista [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=29Qp_AWXFt4

 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No

Determinista a Autómata Finito Determinista con transiciones vacías – Método 1.
[Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=NF47BSorRfU

 González, A. [Ángela]. (2016, junio 6). Conversión de Autómata Finito No

Determinista a Autómata Finito Determinista con transiciones vacías – Método 2.
[Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=KhgMam0DMmM