Cuadro Comparativo-Tipo de Automata

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

Instituto Tecnológico Superior de Felipe

Carrillo Puerto
“2020, Año de Leona Vicario, Benemérita Madre de la Patria”
“2020, Año del 50 Aniversario de la Fundación de Cancún”

Tecnológico Nacional de México


Campus Felipe Carrillo Puerto

Ingeniería en
Sistemas Computacionales
ISC-6E

Asignatura
Lenguajes y autómatas I

Tema No 3°

Cuadro Comparativo
características de los AF, AFND Y AFD

Alumno(s):
Jose Luis Castillo Xool
Leydi Marlene Cen Ceh
David Antonio Carrillo uc
Samantha Margarita Chan Chimal

Profesora
Ing. Doris Surisaday peraza Rojas

Unidad Académica Chunhuhub, Quintana Roo a


27 de marzo del 202

Carretera Vigía Chico S/N Col. Centro,


C.P. 77200
Felipe Carrilo Puerto, Quintana Roo
Tels. (983) 267 1070 y (983) 834 00 51
www.tecnm.mx
www.itscarrillopuerto.edu.mx
CARACTERÍSTICAS DE LOS AF, AFND Y AFD
Tipo de Autómata Definición Caracteristicas
Un autómata finito determinista (abreviado AFD) es  La transición desde un estado puede tener como
un autómata finito que además es un sistema destino un único estado. Por eso se llama
determinista; es decir, para cada estado en que se determinista.
encuentre el autómata, y con cualquier símbolo del  No se aceptan transiciones con cadenas vacías.
Autómata Finito
alfabeto leído, existe siempre no más de una  Se permite el uso de backtracking
Determinista
transición posible desde ese estado y con ese  Requiere mas espacio.
símbolo.  Una cadena es aceptada si su transición es hacia un
estado final.

Un autómata finito no  La transición desde un estado puede tener multiples


determinista (abreviado AFND) es un autómata destinos. Por eso se le llama no determinista.
finito que, a diferencia de los autómatas finitos  Permite transiciones con cadenas vacías.
Autómata Finito deterministas (AFD), posee al menos un  No siempre se permite el uso de backtracking.
no Determinista estado q ∈ Q, tal que para un símbolo a ∈ Σ del  Requiere menos espacio.
alfabeto, existe más de una transición δ(q,a)  Una cadena es aceptada si solo una de todas sus
posible. posibles transiciones son hacia un estado final.

Un autómata finito (AF) o máquina de estado  Generalmente se asocia con cada autómata un grafo
finito es un modelo computacional que dirigido, llamado diagrama de transición de estados.
realiza cómputos en forma automática sobre  Si para todo estado del autómata existe como máximo
una entrada para producir una salida. una transición de finida para cada simbolo del
Autómata Finito Este modelo está conformado por un alfabeto, un alfabeto, se dice que el autómata es determinístico.
conjunto de estados finito, una función de  Si a partir de algún estado y para el mismo simbolo de
transición, un estado inicial y un conjunto de entrada, se define dos o más transiciones se dice que
estados finales. el autómata es no deternimisnístico.

También podría gustarte