Los autómatas son modelos matemáticos útiles para modelar el comportamiento de sistemas como máquinas expendedoras, programas y semáforos. Un autómata finito no determinista (AFND) se define como una quíntupla con un conjunto de estados, un alfabeto de entrada, una función de transición que mapea subconjuntos de estados a estados, un estado inicial y un conjunto de estados finales. La diferencia principal con un autómata finito determinista es que la función de transición de un AFND puede mapear a mú
Presentacion 2 - Maquinas de Estado Finitojunito86
Presentacion del grupo 2 sobre Maquinas de Estado Finito, para el curso de Matematicas Discretas Avanzadas.
Por
Xaimara Perez
Antonio Caban
Andrea Pena
Jose A. Valentin
En este tema analizaremos los dos tipos de autómatas deterministas y no deterministas, veremos cada uno de los elementos y restricciones de estos autómatas y en que consiste cada uno de ellos.
Presentacion 2 - Maquinas de Estado Finitojunito86
Presentacion del grupo 2 sobre Maquinas de Estado Finito, para el curso de Matematicas Discretas Avanzadas.
Por
Xaimara Perez
Antonio Caban
Andrea Pena
Jose A. Valentin
En este tema analizaremos los dos tipos de autómatas deterministas y no deterministas, veremos cada uno de los elementos y restricciones de estos autómatas y en que consiste cada uno de ellos.
Fundamentos de la teoria de automatas
Realizado por Pedro Román, Matricula 15-0298, para la clase de Matemáticas Discretas
Prof. Rina Familia
Universidad Iberoamericana, UNIBE. Santo Domingo, República Dominicana (2015).
Presentación de automata finito no deterministico, ana belgica vallejo y saudy flores
1.
2. Los autómatas son una representación formal muy útil, que permite
modelar el comportamiento de diferentes dispositivos, máquinas,
programas, etc.
Algunos ejemplos son las Maquinas expendedoras de refrescos, El
comportamiento de un programa (software), El comportamiento de
semáforos, entre otros.
La idea general consiste en modelar un sistema que Recibe un conjunto
de elementos de entrada (estímulos), Realiza algún proceso (cómputo) y
Se produce una salida.
3. Informalmente, un AF no determinista, es una extensión de los
deterministas:
A partir de un estado, no es necesario que el autómata tenga
prevista ninguna transición a otro estado en respuesta a todos los
símbolos de entrada posibles
A partir de un estado concreto y ante un símbolo de entrada, se
permite que el autómata transite a más de un estado distinto
(transiciones no deterministas)
No es obligatorio consumir un símbolo de entrada para que el
autómata cambie de estado (transiciones λ)
4.
5. Un autómata finito no determinista (AFND) es un modelo matemático
definido por la quíntupla M=(Q, ∑,f, q0, F) en el que:
Q es un conjunto finito llamado conjunto de estados.
∑ es un conjunto finito de símbolos, llamado alfabeto de entrada.
f es una aplicación llamada función de transición definida como:
Donde P(Q) es el conjunto de las partes de Q, es decir, conjunto de todos
los subconjuntos que se pueden formar con elementos de Q
q0 es un elemento o estado de Q, llamado estado inicial.
F es un subconjunto de Q, llamado conjunto de estados finales.
6.
7.
8.
9. Definición formal: un autómata finito no
determinista se define como una quíntupla
A = (Q, Σ, δ, q0, F), donde todo tiene el mismo
significado que en un AFD, excepto la función
de transición, donde:
Donde P(Q) es el conjunto de todos los
subconjuntos
del conjunto Q