Bibliothèque et langage dédié à la création, l'édition et l'export d'automates finis. Permet de définir des états, des transitions et des règles pour valider des entrées selon des critères prédéfinis. Utilisé pour modéliser des processus logiques, des validations de formats ou des systèmes de reconnaissance de motifs. Facilite l'intégration dans des applications Java via une API simple et des fichiers de configuration structurés.