Mona Un outil qui traduit les formules à l'automate de l'état fini
Télécharger maintenant

Mona Classement & Résumé

Mona Mots clés

formule Automate Fini Visionneuse de l'automate cellulaire automates cellulaires Automata Synthèse d'automates construire des machines à états finis traduire Visionneuse des ensembles finis Voir les ensembles finis afficher les ensembles finis Créateur Hedge Automata Créer une machine finie Générer une machine d'état fini Créateur de machine d'état fini Automates Analyse automatique Transformation finie Automates de trains de train constructeur automates Accueilomorphisme automate traduire la formule Analyseur d'automate automates à états finis Hodgepodge Cellular Automates Simulation d'automates cellulaires Différence finie

Mona La description

Mona est un utilitaire simple créé afin de vous fournir un moyen rapide de traduire des formules en automate fini-État. Les formules peuvent exprimer des schémas de recherche, des propriétés temporelles des systèmes réactifs, des contraintes d'arborescence, etc. Mona analyse l'automate résultant de la compilation et imprime "Valid" ou un contre-exemple.

Mona Logiciels associés