Machine À États Abstraits

concept

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

Propriétés