Outil permettant de concevoir et manipuler des automates finis (FSM). Il facilite la définition des états, des symboles et des transitions entre ces états. Le projet permet de valider des chaînes de caractères en fonction des règles définies par l'automate créé. Il est particulièrement utile pour modéliser des langages formels ou des processus logiques.