About: dbpedia-fr:Automate_de_Büchi     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Automate de Büchi (fr)
  • Autômato de Büchi (pt)
rdfs:comment
  • En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles. Ce type d'automate a été défini par le mathématicien Julius Richard Büchi. (fr)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_Buchi.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_Buchi2.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_Buchi3.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Buchi_generalise.svg
prop-fr:année
prop-fr:auteur
  • Wolfgang Thomas (fr)
prop-fr:auteurOuvrage
  • : Erich Grädel, Wolfgang Thomas et Thomas Wilke (fr)
  • : Jan Van Leeuwen (fr)
prop-fr:collection
  • Lecture Notes in Computer Science (fr)
  • Pure and Applied Mathematics (fr)
prop-fr:id
  • EilenbergA (fr)
prop-fr:isbn
prop-fr:nom
  • Eilenberg (fr)
  • Farwer (fr)
prop-fr:pagesTotales
prop-fr:passage
prop-fr:prénom
  • Samuel (fr)
  • Berndt (fr)
prop-fr:titre
  • Automata on infinite objects (fr)
  • Automata, Languages and Machines, Vol. A (fr)
  • ω-Automata (fr)
prop-fr:titreChapitre
  • Chap. XIV. Infinite Behavior of Finite Automata (fr)
prop-fr:titreOuvrage
  • Handbook of Theoretical Computer Science: Formal Models and Semantics (fr)
  • Automata, logics, and infinite games : A guide to current research (fr)
prop-fr:tome
  • B (fr)
prop-fr:éditeur
  • Academic Press (fr)
  • Springer-Verlag (fr)
prop-fr:numéroDansCollection
thumbnail
foaf:isPrimaryTopicOf
dbo:discoverer
named after
has abstract
  • En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles. Ce type d'automate a été défini par le mathématicien Julius Richard Büchi. (fr)
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software