En general, una mquina de estado es cualquier dispositivo que

almacena el estado de algo en un momento dado y que puede operar en

la entrada para cambiar el estado y / o causar una accin o de salida
que tendr lugar por cualquier cambio dado. Un equipo es bsicamente
una mquina de estado y cada mquina de la instruccin es de entrada
que cambia uno o ms estados y puede causar otras acciones a tomar
su lugar. Los datos de cada informticos Registro Tiendas un estado. La
memoria de slo lectura de la que unarranque de programa se carga
almacena un estado (el programa de arranque en s es un estado
inicial). El sistema operativo es en s mismo un estado y
cada aplicacin que se ejecuta comienza con un estado inicial que
puede cambiar a medida que comienza a manejar la entrada. Por lo
tanto, en cualquier momento en el tiempo, un sistema informtico puede
ser visto como un conjunto muy complejo de estados y cada programa
en ella como una mquina de estado. En la prctica, sin embargo, las
mquinas de estado se utilizan para desarrollar y describir dispositivo o
programa interacciones especficas.
Para resumir, una mquina de estados se puede describir como:

Un
Un
Un
Un

estado inicial o registro de algo almacenado en algn lugar

conjunto de posibles eventos de entrada
conjunto de nuevos estados que puedan deberse a la entrada
conjunto de posibles acciones o eventos de salida que resultan

de un nuevo estado
En su libro en tiempo real de modelado orientado a objetos, Bran Selic y
Garth Gullekson ver una mquina de estados como:

Un conjunto de eventos de entrada

Un conjunto de eventos de salida
Un conjunto de estados
Una funcin que mapea estados y entrada a la salida
Una funcin que mapea estados y entradas a los estados (que se

llama una funcin de transicin de estado)

Una descripcin del estado inicial

Una mquina de estado finito es uno que tiene un nmero limitado o
finito de estados posibles. (Una mquina de estados infinito puede ser
concebido pero no es prctico.) Una mquina de estados finitos puede
ser utilizado tanto como una herramienta de desarrollo para abordar y
resolver los problemas y como una manera formal de la descripcin de
la solucin para los desarrolladores posteriores y mantenedores del
sistema. Hay un nmero de maneras de mostrar las mquinas de

estado, desde tablas sencillas a travs de ilustraciones grficamente

animados.