machine à états abstraits

concept modèle mathématique de calcul qui opère sur des états de structures mathématiques