Dessinez votre propre machine à états finis.
Cette application implémente un algorithme pour réduire une machine à états finis.
Une machine à états finis (FSM) ou automate à états finis (pluriel : automates), ou simplement une machine à états, 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 se trouver dans un état parmi un nombre fini. La machine n'est que dans un seul état à la fois ; l’état dans lequel il se trouve à un moment donné 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éclencheur ; 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 de chaque transition.
Le comportement des machines à états peut être observé dans de nombreux dispositifs de la société moderne qui exécutent une séquence d'actions prédéterminée en fonction d'une séquence d'événements qui leur sont présentés. Des exemples simples sont les distributeurs automatiques qui distribuent des produits lorsque la combinaison appropriée de pièces est déposée, les ascenseurs qui déposent les passagers aux étages supérieurs avant de descendre, les feux de circulation qui changent de séquence lorsque les voitures attendent et les serrures à combinaison qui nécessitent la saisie de numéros de combinaison dans le bon ordre.
Les machines à états finis peuvent modéliser un grand nombre de problèmes, parmi lesquels l'automatisation de la conception électronique, la conception de protocoles de communication, l'analyse linguistique et d'autres applications d'ingénierie. Dans la recherche en biologie et en intelligence artificielle, les machines à états ou hiérarchies de machines à états ont été utilisées pour décrire les systèmes neurologiques et en linguistique pour décrire les grammaires des langues naturelles.
En savoir plus
