AUTOMATAS Y LEGUAJES FORMALES

Unidad 1 - Tarea 2 - Diseño de Autómatas

TRABAJO GRUPAL
PRESENTADO POR
JONATAN STIVE HERRAN ARIAS

PRESENTADO A
LUIS ENRIQUE CAMARGO CAMARGO

GRUPO
301401A_952

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA

MAYO DEL 2021
EJERCICIO GRUPAL

EJERCICIO A
TRABAJAR

Notación
formal del
autómata
minimizado

Caracterizació Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla .
n del Existen tres tipos de autómatas finitos
autómata Autómata finito determinista (AFD)
parte teórica Cada estado de un autómata de este tipo puede o no tener una transición
por cada símbolo del alfabeto.
Autómata finito no determinista (AFND)
Véase también: Cadena de Markov
: Los estados de un autómata de este tipo pueden, o no, tener una o más
transiciones por cada símbolo del alfabeto. El autómata acepta una palabra
si existe al menos un camino desde el estado q0 a un estado final
F etiquetado con la palabra de entrada. Si una transición no está definida,
de manera que el autómata no puede saber como continuar leyendo la
entrada, la palabra es rechazada.
Autómata finito no determinista con transiciones ε (AFND-ε)
Además de ser capaz de alcanzar más estados leyendo un símbolo, permite
alcanzarlos sin leer ningún símbolo. Si un estado tiene transiciones
etiquetadas con , entonces el AFND puede encontrarse en cualquier de los
estados alcanzables por las transiciones , directamente o a través de otros
estados con transiciones . El conjunto de estados que pueden ser alcanzados
mediante este método desde un estado q, se denomina la clausura de q.
Sin embargo, puede observarse que todos estos tipos de autómatas pueden
aceptar los mismos lenguajes. Siempre se puede construir un AFD que
acepte el mismo lenguaje que el dado por un AFND.
 AFND con transiciones vacías.
Extensiones a los autómatas finitos[editar]
Véase también: Jerarquía de Chomsky
Los lenguajes aceptados por los autómatas descritos más arriba se
denominan lenguajes regulares. Autómatas más potentes pueden aceptar
lenguajes más complejos. Algunos de estos autómatas son:
Autómata con pila
Son máquinas idénticas a los AFD (o AFI), exceptuando el hecho de que
disponen de una memoria adicional, haciendo uso de una pila. La función de
transición ahora dependerá también de los símbolos que se encuentren al
principio de la pila. Esta función determinará como cambia la pila en cada
transición. Este tipo de autómatas aceptan los lenguajes independientes del
contexto.
Autómata linealmente acotado
Se trata de una máquina de Turing limitada en la cantidad de cinta o
memoria que posee. Las computadoras de propósito general que existen
físicamente son equivalentes a estas máquinas.

Lenguaje ER = (aa*b(bba*a))*bb
Regular
Validación de
cadenas
 REFERENCIAS

• RECUPERADO EL 19 DE MAYO DEL 2021.

AyLF_Autómatas_Deterministas_y_No_Deterministas (core.ac.uk)