LENGUALES Y AUTOMATAS - (301405A_952)

Desarrollo Primera Fase – Formulación – Trabajo Colaborativo

Presentado por:

Oscar Antonio Castillo Pérez

Código: 3167508

Presentado a

LUIS ENRIQUE CAMARGO CAMARGO

Universidad Nacional Abierta y a Distancia

17 de mayo de 2021
Ejercicios 1: Autómata a Expresión regular

Caracterización del
autómata - Identificación de la quíntupla del
autómata:
El autómata está conformado por la
siguiente quíntupla:

5-tupla (K, Σ, δ, s, F) donde:

M = ({q0, q1, q2} , {a, b, c} , δ, q0,

{q2})
K ={ q0, q1, q2}
Σ ={ a, b, c)
s = q0
F = q2

Donde la función δ : {q0, q1, q2 } ×

{ a, b, c } → {q0, q1, q2}
viene dada por:
δ(q0, a) = q0
δ(q0, a) = q1
δ(q0, b) = q2
δ(q1, c) = q2

K = conjunto finito de estados. (q0,q1 y q2)

Σ = conjunto finito de símbolos del alfabeto. (a, b, c)
q0 = es el estado inicial.
F = conjunto de estados finales (o estados de
aceptación q2).

- Plasme la tabla de transición

Tabla de Transicion
a b c
-> q0 q0, q1 q2
q1 q2
q2

- Identificación del Autómata Finito:

Autómata Finito No Determinista (AFND)

- Explicar las características del tipo

de autómata:
La transición desde un estado puede tener
múltiples destinos. Por eso se le llama no
 determinista.

Procedimiento de Realice de manera detallada el

conversión de Autómata procedimiento paso a paso de la
Finito a Expresión conversión del autómata a expresión
Regular paso a paso regular y según el ejemplo revisado.

1. Se inicia desde el estado inicial

q0, pasando por q1 y finalmente
llegando al q2:

La transición es: a*ac

2. Se toma la otra ruta que inicia

desde el estado q0 y finaliza en
q2:

La transición es: a*ab

 3. La expresión regular (ER) es:

a*ac + a*ab

Autómata Final Se inicia:

convertido
 a*ac + a*ab

Lenguaje regular LR=({a}*{a}{c}) U {a}*{a}{b}

Ejercicios 2: Conversión de Autómatas Finitos Deterministas a

Autómatas Finitos No deterministas (AFD a AFND) y viceversa

EJERCICIO A TRABAJAR

Caracterización del autómata En este espacio se realiza:

5-tupla (K, Σ, δ, s, F) donde:

M = ({q0, q1, q2, q3} , {0, 1} ,

δ, q0, {q1})
K ={ q0, q1, q2, q3}
Σ ={ 0, 1)
s = q0
F = q1

Donde la función δ : {q0, q1, q2,

q3 } × { 0, 1} → {q0, q1, q2, q3}
viene dada por:
δ(q0, 1) = q1
δ(q0, 0) = q3
δ(q1, 1) = q2
δ(q2, λ ) = q0
δ(q3, 1) = q2

K = conjunto finito de estados. (q0, q1, q2, q3)

 Σ = conjunto finito de símbolos del alfabeto. (0,
1)
q0 = es el estado inicial.
F = conjunto de estados finales (o estados de
aceptación q1).

- Plasme la tabla de transición

Tabla de Transicion
0 1
-> q0 q3 q1
q1 q2
q2
q3 q2

- Identificación del Autómata

Finito: Autómata Finito No
Determinista (AFND)

- Explicar las características del

tipo de autómata:
A diferencia del autómata finito
determinista, el AFND posee más de
un estado para un símbolo del
alfabeto, produciendo más de una
transición durante la ejecución del
autómata.

Procedimiento de conversión
paso a paso

1. Se inicia desde el estado

inicial q0 llegando al
estado final q1:

La transición es: 1

2. Se toma la otra ruta que

inicia desde el estado q0
pasando por q3 y finaliza
en q2:
 La transición es: 01

3. La expresión regular (ER)

es:

1 + 01

Autómata final convertido Contrayendo el autómata se obtiene

la siguiente conversión:

Tabla de Transicion
0 1
-> q0 q3 q1
q3 q2