UNIVERSIDAD NACIONAL DEL ALTIPLANO

PUNO
ESCUELA PROFESIONAL DE INGENIERÍA DE
SISTEMAS

INFORME DE EXPOSICIÓN

Presentado por:
 Yomara Lizbeth Quispe Alanoca
 Yaneth Arpi Roque
 Arnaldo Medina Jacho
 Abraham E. Quispe Gutiérrez
Tema:
Autómatas Finitos Deterministas N°07
Docente:
Quispe Chaiña Adolfo German

PUNO – PERÚ
Autómatas Finitos Deterministas (AFD)
Este tipo de autómatas admite su definición de dos maneras bien diferentes:
Como autómatas traductores o reconocedores. La definición como autómatas
traductores continua a la definición de las máquinas secuenciales, y se los
podría definir como una subclase de estas, ya que los autómatas finitos tendrían
como limitante no poder iniciar desde cualquier estado como lo hacen en las
máquinas secuenciales.
También podríamos definir un autómata como una máquina de estados y
transiciones dentro de la cual se tienen estados de aceptación y transiciones de
un estado a otro siguiendo las reglas establecidas para grafos dirigidos. Dichos
estados de aceptación dentro del autómata “reconocen” que es posible aceptar
una cadena de entrada, porque cumple con una definición en el alfabeto.

Estados
Los estados del autómata son representados por círculo. Los nombres de los
estados están escritos dentro de esos círculos. Se consideran tres estados:

 Estado Inicial, que es pon donde comenzará la ejecución de la máquina.

 Estados Intermedios, que tienen comportamiento idéntico a los definidos
en las máquinas secuenciales.
 Estados finales o de aceptación que será un subconjunto del conjunto de
estados por los que transitará la máquina, y si cuando se hayan
terminado de procesar todos los símbolos de entrada y no reste ningún
símbolo por leer, la máquina quede posicionada en uno de estos estados
de aceptación, se concluirá que la cadena procesada será aceptada por
el autómata.
Modelo Matemático de un autómata
Está conformado de cinco elementos:

Representación Descripción
∑ Alfabeto de símbolos de entrada.
Q Conjunto finito de estados.
qₒ qₒ € Q – estado inicial previsto
F F Q - es el conjunto de estado finales de
aceptación.
f Función de transición de estados definida
como:
f: Q x ∑ ----> Q

Ejemplo:

 Q = {q0, q1, q2}

 q0 = Estado Inicial

  = {0, 1}

 F (Estado Final) = q2

  = función de transición
 Diferencias entre un autómata finito determinista (AFD) y un
autómata finito no determinista (AFDN)

AFD AFND

 La transición desde un estado  La transición desde un estado

puede tener como destino un
único estado. Por eso se llama
determinista.
 No se aceptan transiciones
con cadenas vacías.
 Se permite el uso de
backtracking
 Requiere más espacio.
 Una cadena es aceptada si su
transición es hacia un estado
final.
puede tener múltiples
destinos. Por eso se le llama
no determinista.
 Permite transiciones con
cadenas vacías.
 No siempre se permite el uso
de backtracking.
 Requiere menos espacio.
 Una cadena es aceptada si
solo una de todas sus posibles
transiciones es hacia un
estado final

Otros grafos de AFD