Automatas

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

TAREA 2 DISEÑO DE AUTÓMATAS

Luis Fernando Suarez Giraldo


CC 71294022

TUTOR
ANGELA MARIA GONZALEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


septiembre 2021
EJERCICIO PARA TRABAJAR

Caracterización del autómata Su quíntupla está dada por:


K= {q0, q1, q2} Conjunto de estados
𝛴= {a,b} Alfabeto
s= {q0} Estado inicial
F= {q1} Estado final
𝛿= Transiciones
a b
q0 q2 q1
q1 - -
q2 q2 q1

Debido a que el autómata no presenta


transiciones vacías ni transita a más de un
estado por símbolo de entrada
determinamos que es un AFD (autómata
Finito Determinista)
Procedimiento de paso 1
conversión de Se hace uso de la ecuación
Autómata Finito a Expresión X = rx + s
Regular X =r*s
paso a paso paso 2 establecer formulas

q0 = aq2 + bq1
q1 = 0
q2 = aq2 + bq1 + λ

paso 3 resolver las ecuaciones

q2 = a*(bq1)
q1 = 0
q0 = a*(b(0)) + b(0)

el lenguaje regular del automata es

a*(b(0))+b(0)
Autómata Final convertido

Lenguaje regular a*(b(0))+b(0)

EJERCICI
OA
TRABAJA
R

Caracteriza En este espacio se realiza:


ción del
autómata Quíntupla del autómata:
Estado inicial: q0
Estado final: q2
Conjunto de estados: q0, q1, q2
Alfabeto: a, b,c, λ
El autómata es finito no determinista ya que con un símbolo de entrada
va a uno o mas estados
Tabla de transiciones
a b c λ
q0 q0, q1 q2 - -
q1 - - q1, q1 -
q2 - - - q0

Procedimie Realice de manera detallada el procedimiento paso a paso de la


nto de conversión del autómata según corresponda y según ejemplo revisado.
conversión
paso a paso - Paso 1. Tabla de transiciones

Tabla de transiciones
a b c λ
q0 q0, q1 q2 - -
q0 - - q1, q1 -
q2 - - - q0

- Paso 2. Nueva tabla de transiciones


Tabla de transiciones
a b c λ
q0 q0, q1 q2 - -
q0, q1 q0, q1 q2 q1, q2 -
q2 - - - q0
q1, q2 - - q1, q2 q0

Autómata
Final
convertido

Practicar y
verificar lo
aprendido
BIBLIOGRAFIA
Anón. 2006. “Lenguajes Regulares Índice Lenguajes regulares Expresiones regulares”.
1–61.
Anón. s/f. “(No Title)”. Recuperado el 16 de febrero de 2021a
(https://webs.ucm.es/info/pslogica/automatas.pdf).
Anón. s/f. “(No Title)”. Recuperado el 9 de febrero de 2021b
(https://www.um.es/documents/118351/1884002/TFG_NAVARRO+FERNANDE
Z.pdf/43caac70-259e-4435-9007-973be9593a19).
Anón. s/f. Autómatas finitos y lenguajes formales.
Anón. s/f. “Definicion de los Autómatas Finitos NO Deterministas (AFND) -
YouTube”. Recuperado el 17 de febrero de 2021d
(https://www.youtube.com/watch?v=XRLyiA8EMPM).
Anón. s/f. “LENGUAJES Y AUTÓMATAS 1 : DEFINICION ALFABETOS,
CADENA, LENGUAJE, TIPOS DE LENGUAJE, GRAMÁTICA Y
AUTÓMATAS”. Recuperado el 9 de febrero de 2021e
(http://lengyaut.blogspot.com/2017/08/definicion-alfabetos-cadena-lenguaje.html).
Estructuras, Apuntadores Y. s/f. “Repaso General Breve”. 1–9.
Jurado Málaga, Elena. 2008. Teoría de autómatas y lenguajes formales. Spain, Europe:
Universidad de Extremadura. Servicio de Publicaciones.

También podría gustarte