Ejercicio a Figura 1.

Ejercicio a trabajar
trabajar

Fuente: El presente documento

Caracterización En este espacio se realiza:
del autómata - Identificación del Autómata Finito Determinista o Autómata Finito No
Determinista
Tomando en cuenta la tabla de transición del autómata es posible determinar
que es un AFD ya que no se presenta el caso de llegar a dos estados finales,
el uso de transiciones vacías.

Tabla 1. Tabla de Transiciones

Estado TRANSICIÓN

0 1

q0 q2 q1

q1 q4 q1

q2 q4 q0

q4 - -

Fuente: El presente documento

- Explicar las características del tipo de autómata

A= [Q, Ʃ, δ, q0, F]

Donde se tienen las tuplas del autómata finito:

Q: Es el conjunto de estados del autómata

Ʃ: Es el alfabeto del autómata definido

δ: Son las transiciones presentes en el autómata

q0: Es el estado inicial

F: Conjunto de estados finales

De donde la forma matemática del autómata es:

 A = [(q0, q1, q2,q4), (0,1), δ, q0, q4]

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

de conversión del autómata a expresión regular y según ejemplo revisado.
de autómata
finito a Aplicando la eliminación de estados se tiene:
expresión Figura 2. Ejercicio a trabajar
regular paso a
paso

Fuente: El presente documento

- Paso 1: Eliminado el estado q1

Figura 3. Ejercicio eliminado el estado q1

Fuente: El presente documento

- Paso 2: Eliminando el estado q2

Figura 4. Ejercicio eliminado el estado q2

Fuente: El presente documento

- Paso 3: Eliminando el estado q0

 Figura 5. Ejercicio eliminado el estado q0

Fuente: El presente documento

De donde la ER será:
11*0+0(10)*0
Autómata final En este espacio se presenta la expresión correspondiente al autómata
convertido trabajado.
Figura 6. Expresión del autómata

Fuente: El presente documento

Lenguaje En este espacio agrega el lenguaje regular correspondiente a la expresión

regular regular.
11*0+0(10)*0
Sea (11*0) el lenguaje 1 notado L1. Sea 0(10)*0 el lenguaje 2 notado por L2,
entonces L1 = {1}.{1}*.{0} y L2={0}.{10}*.{0} por lo tanto el lenguaje se
especifica de la siguiente forma
𝐿 = {𝑢𝑣 / 𝑢 ∈ 𝐿1, 𝑣 ∈ 𝐿2} = {{1}{1} ∗ {0}|{0}{10} ∗ {0}}/𝑖 = 0
Es decir
𝐿 = {10,110,1110,11110, … }|{00,0100,010100, … }