Le projet FSALinalg vise à fournir un outil pour la modélisation et l'analyse de systèmes à états finis en utilisant les concepts de l'algèbre linéaire. Il permet de définir des automates finis et de simuler leur comportement en fonction de différents scénarios.