Automate co-Büchi

Concepts informatiques

En théorie des automates, un automate co-Büchi est une variante de l'automate de Büchi dotée d'une condition d'acceptation différente. Il accepte un mot infini s'il existe une exécution dans laquelle tout état apparaissant une infinité de fois appartient à l'ensemble des états finaux. Les automates de Büchi exigent, eux, que les états finaux soient visités une infinité de fois. Les automates co-Büchi déterministes sont strictement moins puissants que les automates de Büchi non déterministes.

L'image sur cette carte a été créée avec l'IA. C'est une illustration, et non une vraie photo du sujet.

Domaine: Théorie des automates
Pouvoir d'expression relatif: Les automates co-Büchi déterministes sont strictement moins puissants que les automates de Büchi non déterministes

Sources et crédits

Article: Co-Büchi automaton (Wikipédia en anglais)
Wikidata: Q5137398
Texte: Le texte de la carte est adapté de l'article de la Wikipédia en anglais par un résumé automatisé. Le contenu de Wikipédia est disponible sous CC BY-SA 4.0 ; consulte l'historique de l'article pour voir ses contributeurs. CC BY-SA 4.0 · Historique de l'article et contributeurs
Illustration: Illustration générée par IA. Ce n'est ni une photographie ni une image documentaire. (modèle : gpt-image-2.5-flare)
Popularité: 1 vues quotidiennes médianes (Wikimedia Pageviews API (all-access, user agent))

Kosmora n'est ni affilié à la Wikimedia Foundation ni approuvé par elle.