Dessinez votre propre machine d'état finie.
Cette application implémente un algorithme pour réduire une machine à états finie.
Une machine à états finis (FSM) ou une automate à l'état fini (pluriel: automates), ou simplement une machine à état, est un modèle mathématique de calcul utilisé pour concevoir à la fois des programmes informatiques et des circuits logiques séquentiels. Il est conçu comme une machine abstraite qui peut être dans l'un d'un nombre fini d'états. La machine est dans un seul état à la fois; L'état dans lequel il se trouve à tout moment est appelé l'état actuel. Il peut passer d'un état à un autre lorsqu'il est initié par un événement ou une condition déclenchant; C'est ce qu'on appelle une transition. Un FSM particulier est défini par une liste de ses états et la condition de déclenchement pour chaque transition.
Le comportement des machines d'État peut être observé dans de nombreux dispositifs de la société moderne qui effectuent une séquence prédéterminée d'actions en fonction d'une séquence d'événements avec lesquels ils sont présentés. Des exemples simples sont des distributeurs automatiques qui distribuent des produits lorsque la combinaison appropriée de pièces est déposée, les ascenseurs qui déposent les cyclistes aux étages supérieurs avant de descendre, les feux de circulation qui modifient la séquence lorsque les voitures attendent et les verrous combinés qui nécessitent l'entrée des numéros de combinaison dans l'ordre approprié.
Les machines à états finis peuvent modéliser un grand nombre de problèmes, parmi lesquels sont l'automatisation de la conception électronique, la conception du protocole de communication, l'analyse linguistique et d'autres applications d'ingénierie. Dans la recherche en biologie et en intelligence artificielle, les machines d'État ou les hiérarchies des machines d'État ont été utilisées pour décrire les systèmes neurologiques et en linguistique - pour décrire les grammaires des langues naturelles.