bn:03861024n
Noun Concept
Categories: Théorie des automates, Calculabilité, Vérification de modèles
FR
automate de Muller  automate muller
FR
En informatique théorique, et en particulier en théorie des automates, un automate de Muller est un automate fini reconnaissant des mots infinis, doté d'une famille d'ensemble d'états terminaux distingués. Wikipedia
Definitions
Relations
Sources
FR
En informatique théorique, et en particulier en théorie des automates, un automate de Muller est un automate fini reconnaissant des mots infinis, doté d'une famille d'ensemble d'états terminaux distingués. Wikipedia
Un modèle de calcul. Wikipedia Disambiguation
DISCOVERER OR INVENTOR
NAMED AFTER
Wikipedia
Wikidata
Wikipedia Translations