Lenguajes y Autómatas
Descargar como PPTX, PDF1 recomendación1,186 vistas
Este documento describe los autómatas de estado finito. Define un autómata de estado finito como un modelo abstracto de máquina con memoria interna primitiva que consta de un conjunto finito de estados, símbolos de entrada y salida, y funciones que determinan el próximo estado y salida basado en el estado y entrada actuales. Proporciona un ejemplo de autómata de estado finito y explica que los diagramas de transición representan gráficamente las transiciones entre estados.
Lenguajes y Autómatas
- 1. Autómatas Instituto Tecnológico de Apizaco Eliana Cornejo Cortez
- 2. Máquinas de estado finito • Es un modelo abstracto de una máquina con una memoria interna primitiva. – Costa de: Un conjunto finito I de símbolos de entrada Un conjunto finito O de símbolos de salida Un conjunto finito S de estados Una función de entrada siguiente f de SxI en S Una función de salida g de S x I en O Un estado inicial σ ϵ S Escribimos M=(I, O, S, f, g, σ)
- 3. Ejemplo • Sean I={a,b}, O={0,1} y S={σ0, σ1}. Definimos el par de funciones f: S x I→S y g:S x I →O f g a b a b I S σ0 σ0 σ1 0 1 σ1 σ1 σ1 1 0 Entonces M=(I, O, S, f, g, σ0) es una maquina de estado finito. f(σ0, a)= σ0 g(σ0, a)= 0 f(σ0, b)= σ1 g(σ0, b)= 1 f(σ1, a)= σ1 g(σ1, a)= 1 f(σ1, b)= σ1 g(σ1, b)= 0
- 4. Diagrama de transición • El diagrama de transición es una diagráfica.
- 5. Autómatas de estado finito • Un autómata de estado finito A=(I, O, S, f, g, σ ) es una maquina de estado finito en la que el conjunto de símbolos de salida es {0,1} y donde el estado actual determina la ultima salida. Aquellos estados para los cuales la última salida es 1 son los estados de aceptación. – Un autómata de estado finito A formado por: 1. Un conjunto finito I de símbolos de entrada. 2. Un conjunto finito S de estados. 3. Una función de estado siguiente f de S x I en S. 4. Un subconjunto A de S de estados de aceptación. 5. Un estado inicial σ ϵ S • Si utilizamos esta caracterización, escribimos A=(I, S , f, A, σ).