Este documento describe las máquinas de estado finito. Las máquinas de estado finito son abstracciones computacionales que modelan el comportamiento de sistemas reactivos a través de un número finito de estados y transiciones entre estados. Se representan mediante diagramas de transición de estados que muestran los estados como nodos y las transiciones etiquetadas entre estados. El documento también proporciona un ejemplo de cómo codificar el sistema de control de un ascensor en lenguaje C usando una máquina de estado finito.

1. UNIVERSIDAD FERMIN TORO
VICERRECTORADO ACADEMICO
DECANATO DE INGENIERIA
ESCUELA DE INGENIERIA
Alumno: Manuel Escobar
C.I. 26988211
Materia: Estructuras
Discretas 2
Prof: Adinana Barreto

2. Maquinas de
Estado finito
Una Máquina de Estado Finito (Finite
State Machine), llamada también
Autómata Finito es una abstracción
computacional que describe el
comportamiento de un sistema reactivo
mediante un número determinado de
Estados y un número determinado de
Transiciones entre dicho Estados.
DIAGRAMA DE TRANSICIÓN DE UNA
MÁQUINA DE ESTADO FINITO:
Es un grafo dirigido G, en donde los nodos son
los estados; el estado inicial se señala con una
flecha gruesa sin origen. Si se parte del estado
qm y una entrada i proporciona una salida o, y
se cambia al estado qn, se traza un arco dirigido
de qm a qn y se marca con una ponderación o
peso como i / o.
El sistema de control
del ascensor se
puede codificar en
Lenguaje C de la
siguiente manera
a. Comenzar en el “estado inicial” y en el primer carácter de la cadena a
analizar;
Repetir:
b. Transición al estado siguiente escogiendo el arco saliente etiquetado con
ese carácter;
c. Pasar al siguiente carácter de la cadena;
Hasta que la cadena esté vacía o no haya transición aplicable;
d. Si la cadena está vacía Y el estado actual es un estado final devuelve “SI”
en otro caso devuelve “NO”.