AUTOMATAS Y LENGUAJES FORMALES

FASE 6: INDIVIDUAL

Presentado por:

BYRON ESNEYDER FANDIÑO

Cód. 1049794407

Grupo:
301405_73

Tutor
ANGELA MARIA GONZALEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERIA DE SISTEMAS
DICIEMBRE
2018
 ACTIVIDAD COLABORATIVA

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

EJERCICIO A
TRABAJAR EJERCICIO 1

Caracterización del
autómata Corresponde a un Autómata Finito No Determinista pues cada
combinación (estado, símbolo de entrada) produce tiene
transiciones de un solo símbolo a otros estados.

El autómata dado se representa mediante (Σ, Q, f, q0, F) donde:

Σ: alfabeto de entrada = {0, 1}

Q: conjunto de estados, es conjunto finito no vacío, realmente un
alfabeto para distinguir a los estados = {q0, q1, q2).
f: Q x Σ→ Q, función de transición
q0∈Q, estado inicial
F⊂Q: conjunto de estados finales o de aceptación = {q2}

Procedimiento de Por el método de eliminación de estados se tienen los pasos:

conversión de
Autómata Finito a Paso 1: q0 a q2 pasando por q1 = 01*0
Expresión Regular Paso 2: q0 a q2 = (0+1)*
paso a paso ER = 1*(01*0+(0+1)*)*01*0

Autómata Final
convertido 1*(01*0+(0+1)*)*01*0

Lenguaje regular L= {{1*}{0}{1*}{0}{0+1}*}*{0}{1*}{0}

L = {Cadenas que contienen al menos un 1}

EJERCICIO A
TRABAJAR EJERCICIO 2

Caracterización del
autómata Corresponde a un Autómata Finito No Determinista pues cada
combinación (estado, símbolo de entrada) produce tiene
transiciones de un solo símbolo a otros estados.

El autómata dado se representa mediante (Σ, Q, f, q0, F) donde:

Σ: alfabeto de entrada = {0, 1}

Q: conjunto de estados, es conjunto finito no vacío, realmente un
alfabeto para distinguir a los estados = {q0, q1, q2).
f: Q x Σ→ Q, función de transición
q1 ∈ Q, estado inicial
F⊂Q: conjunto de estados finales o de aceptación = {q2}

Procedimiento de Por el método de eliminación de estados se tienen los pasos:

conversión de
Autómata Finito a Paso 1: q1 a q2 = (0+0)*
Expresión Regular Paso 2: q1 a q2 pasando q0 y q1 = (00)*0*1((1+0)0)*(00)*
paso a paso ER = (00)*0*1((1+0)0)*(00)*

Autómata Final
convertido (00)*0*1((1+0)0)*(00)*

Lenguaje regular L= {{0}{0}}*{0}*{1}{{{1+0}{0}}*{{0}{0}}*}*

L = {Cadenas que comienzan y terminan en cero}

EJERCICIO A
TRABAJAR EJERCICIO 3

Caracterización del
autómata Corresponde a un Autómata Finito No Determinista pues cada
combinación (estado, símbolo de entrada) produce tiene
transiciones de un solo símbolo a otros estados.

El autómata dado se representa mediante (Σ, Q, f, q0, F) donde:

Σ: alfabeto de entrada = {0, 1}

Q: conjunto de estados, es conjunto finito no vacío, realmente un
alfabeto para distinguir a los estados = {q0, q1).
f: Q x Σ→ Q, función de transición
q0 ∈ Q, estado inicial
F⊂Q: conjunto de estados finales o de aceptación = {q1}

Procedimiento de Por el método de eliminación de estados se tienen los pasos:

conversión de
Autómata Finito a Paso 1: q0 a q1 =((1+0)*00*0)*(1+0)*00*
Expresión Regular ER = ((1+0)*00*0)*(1+0)*00*
paso a paso
Autómata Final
convertido ((1+0)*00*0)*(1+0)*00*

Lenguaje regular L= {{1+0}*{0}{0}*{0}}*{1+0}*{0}{0}*

L = {Cadenas que comienzan y terminan en cero}

EJERCICIO A
TRABAJAR EJERCICIO 4

Caracterización del
autómata Corresponde a un Autómata Finito Determinista pues cada
combinación (estado, símbolo de entrada) produce un solo estado.

El autómata dado se representa mediante (Σ, Q, f, q0, F) donde:

Σ: alfabeto de entrada = {0, 1}

Q: conjunto de estados, es conjunto finito no vacío, realmente un
alfabeto para distinguir a los estados = {q0, q1, q2, q3).
f: Q x Σ→ Q, función de transición
q0 ∈ Q, estado inicial
F⊂Q: conjunto de estados finales o de aceptación = {q3}

Procedimiento de Por el método de eliminación de estados se tienen los pasos:

conversión de
Autómata Finito a Paso 1: q0 a q3 pasando por q1 = 0(0+1)
Expresión Regular Paso 2: q0 a q3 pasando por q2 = 10
paso a paso ER = 1*0(0+1)+10

Autómata Final
convertido 1*0(0+1)+10

Lenguaje regular L= {1}*{0}{0+1}+{1}{0}

L = {Cadenas que comienzan y terminan en cero o uno}