ok Encyclopédie - Automate de Büchi & Video

Revue de presse Automate_de_Büchi
shout shout

var wgArticlePath = "/encyclopedie_$1";

Automate de Büchi

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l?informatique.
Vous pouvez partager vos connaissances en l?améliorant (comment ?) selon les recommandations des projets correspondants.

Un automate de Büchi est un automate fini avec une condition d'acceptation particulière : une trace est acceptée si et seulement si elle passe un nombre infini de fois par les états acceptants.

Les automates de Büchi déterministes et non déterministes ne sont pas équivalents. Par contre, tout automate de Büchi est équivalent à un automate de Rabin déterministe.

Les automates de Büchi non déterministes représentent exactement les propriétés de la logique LTL, dites aussi propriétés ?-régulières.

[] Références

  • Wolfgang Thomas, Automata on infinite objects, dans Handbook of Theoretical Computer Science : Formal Models and Semantics, tome B (Jan Van Leeuwen, éd.), MIT Press, ISBN 0-262-72015-9

Mirror_ebab  

shout
Réagissez


Attention! tous les commentaites inaproprié seront supprimés
Titre:
Video YouTube ou google: (doit être en rapport avec le sujet)
Votre mail:
Un pseudo:
Votre site:
Commentaire (le html n'est pas autorisé, nombre de caractère maximum = 400)
  save (Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/ Automate de Büchi
Base de liens  |  Ajouter lien  |  Contact Rss
On est 14 visiteur(s) en ligne
Server 2.0