Ce projet se concentre sur l'optimisation et la minimisation des transducteurs monoïdaux, des structures utilisées en informatique théorique pour modéliser des transformations de données. Il vise à réduire leur complexité tout en préservant leur fonctionnalité, facilitant ainsi leur utilisation dans des applications nécessitant des calculs formels ou des analyses de données avancées.