FSA/fr

FSA regroupe un ensemble d'extensions basé sur la notion d'états discrets et finis. La dynamique des modèles de ce type est donc construite autour de cet ensemble d'états discrets. Les deux plus simples étant Moore et Mealy où l'on décrit simplement un graphe de transitions entre les états. Les transitions sont reliées aux entrées événementielles du modèle et l'arrivée ou le franchissement d'une transition conduit à la génération d'une sortie. La troisième extension porte sur une restriction de Devs aux états discrets et finis : FDDevs. La dernière extension s'intéresse aux Statecharts.