Universidad Nacional Abierta y a Distancia – UNAD -

Escuela: Ciencias Básicas, Tecnología e Ingeniería Programa: Ingeniería de Sistemas

Tarea 2 – Diseño de Autómatas 301045 – Autómatas y Lenguajes Formales

Aporte Individual Presentado por:

Miler Ivan Torres Charry
Cód.: 76330016

Grupo: 301405_26

Presentado al Tutor:
Helena Clara Isabel Alemán

Universidad Nacional Abierta y a Distancia (Unad)

Escuela de ciencias básicas tecnología e ingeniera (Ecbti)
Programa: Ingeniería De Sistemas
Septiembre de 2022
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de
Investigación - VIACI
Escuela: Ciencias Básicas, Tecnología e Ingeniería Programa: Ingeniería de Sistemas

Desarrollo de la actividad

Ejercicios 1: Autómata a Expresión regular

Ejercicio a

1. Caracterización del autómata

Se construye el autómata mediante el análisis de las transiciones dadas en la tabla:

quíntupla del Autómata:

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de
Investigación - VIACI
Escuela: Ciencias Básicas, Tecnología e Ingeniería Programa: Ingeniería de Sistemas

Tabla de transiciones:

Se identifica como un autómata Finito No Determinista, ya que del estado q0 tenemos transiciones con
el símbolo a hacía dos estados diferentes, además de contar con una transición de un estado final a otro
estado.

2. Procedimiento de conversión de Autómata Finito a Expresión Regular paso a paso

Vamos a emplear el método de eliminación de estados.

a) Eliminamos q1 colocando transiciones vacías entre los estados.

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de
Investigación - VIACI
Escuela: Ciencias Básicas, Tecnología e Ingeniería Programa: Ingeniería de Sistemas

b) Eliminamos q1

c) Eliminamos q0

La expresión regular resultante es:

ER = ((aa)*(a+ab)(ab)*aa)*