UNIVERSIDAD FERMIN TOROVICERRECTORADO ACADEMICO

DECANATO DE INGENIERIA ESCUELA DE INGENIERIA

Maquinas de estado finito

Alumno: Manuel EscobarC.I. 26988211Materia: Estructuras Discretas 2Prof: Adinana Barreto

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”.