En informatique théorique, et notamment en théorie des automates finis, l'algorithme de Hopcroft de minimisation d'un automate fini, appelé ainsi d'après son inventeur John Hopcroft, est un algorithme calculant l’automate déterministe fini minimal, à partir d'un automate fini donné. Cet algorithme est — en 2010 — l'algorithme le plus efficace connu. Il opère en temps pour un automate à états sur un alphabet de lettres.

Property Value
dbo:abstract
  • En informatique théorique, et notamment en théorie des automates finis, l'algorithme de Hopcroft de minimisation d'un automate fini, appelé ainsi d'après son inventeur John Hopcroft, est un algorithme calculant l’automate déterministe fini minimal, à partir d'un automate fini donné. Cet algorithme est — en 2010 — l'algorithme le plus efficace connu. Il opère en temps pour un automate à états sur un alphabet de lettres. (fr)
  • En informatique théorique, et notamment en théorie des automates finis, l'algorithme de Hopcroft de minimisation d'un automate fini, appelé ainsi d'après son inventeur John Hopcroft, est un algorithme calculant l’automate déterministe fini minimal, à partir d'un automate fini donné. Cet algorithme est — en 2010 — l'algorithme le plus efficace connu. Il opère en temps pour un automate à états sur un alphabet de lettres. (fr)
dbo:discoverer
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10649128 (xsd:integer)
dbo:wikiPageLength
  • 11143 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 181944490 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1971 (xsd:integer)
  • 1973 (xsd:integer)
  • 1974 (xsd:integer)
  • 2001 (xsd:integer)
  • 2006 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2012 (xsd:integer)
prop-fr:arxiv
  • 1010.531800 (xsd:double)
prop-fr:collection
  • Lecture Notes in Computer Science (fr)
  • Lecture Notes in Computer Science (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.101600 (xsd:double)
prop-fr:journal
  • Theoretical Computer Science (fr)
  • Acta Informatica (fr)
  • Theoretical Computer Science (fr)
  • Acta Informatica (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • John Hopcroft (fr)
  • Alfred Aho (fr)
  • Jeffrey D. Ullman (fr)
  • John Hopcroft (fr)
  • Alfred Aho (fr)
  • Jeffrey D. Ullman (fr)
prop-fr:lieu
  • New York (fr)
  • New York (fr)
prop-fr:mathReviews
  • 1795249 (xsd:integer)
prop-fr:mr
  • 403320 (xsd:integer)
prop-fr:nom
  • Carton (fr)
  • David (fr)
  • Aho (fr)
  • Hopcroft (fr)
  • Ullman (fr)
  • Baclet (fr)
  • Berstel (fr)
  • Boasson (fr)
  • Fagnot (fr)
  • Gries (fr)
  • Knuutila (fr)
  • Pagetti (fr)
  • Păun (fr)
  • Rodríguez-Patón (fr)
  • Carton (fr)
  • David (fr)
  • Aho (fr)
  • Hopcroft (fr)
  • Ullman (fr)
  • Baclet (fr)
  • Berstel (fr)
  • Boasson (fr)
  • Fagnot (fr)
  • Gries (fr)
  • Knuutila (fr)
  • Pagetti (fr)
  • Păun (fr)
  • Rodríguez-Patón (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 24 (xsd:integer)
prop-fr:numéroDansCollection
  • 4094 (xsd:integer)
prop-fr:pages
  • 50 (xsd:integer)
  • 97 (xsd:integer)
  • 114 (xsd:integer)
  • 333 (xsd:integer)
  • 2424 (xsd:integer)
prop-fr:passage
  • 157 (xsd:integer)
  • 189 (xsd:integer)
prop-fr:prénom
  • Olivier (fr)
  • Jean (fr)
  • David (fr)
  • John (fr)
  • Julien (fr)
  • Luc (fr)
  • Manuel (fr)
  • Timo (fr)
  • Claire (fr)
  • Isabelle (fr)
  • Andrei (fr)
  • Jeffrey D. (fr)
  • John E. (fr)
  • Alfonso (fr)
  • Alfred V. (fr)
  • Mihaela (fr)
  • Olivier (fr)
  • Jean (fr)
  • David (fr)
  • John (fr)
  • Julien (fr)
  • Luc (fr)
  • Manuel (fr)
  • Timo (fr)
  • Claire (fr)
  • Isabelle (fr)
  • Andrei (fr)
  • Jeffrey D. (fr)
  • John E. (fr)
  • Alfonso (fr)
  • Alfred V. (fr)
  • Mihaela (fr)
prop-fr:titre
  • On the Hopcroft’s minimization technique for DFA and DFCA (fr)
  • Average complexity of Moore’s and Hopcroft’s algorithms (fr)
  • Around Hopcroft’s Algorithm (fr)
  • Describing an algorithm by Hopcroft (fr)
  • Re-describing an algorithm by Hopcroft (fr)
  • The Design and Analysis of Computer Algorithms (fr)
  • On the Hopcroft’s minimization technique for DFA and DFCA (fr)
  • Average complexity of Moore’s and Hopcroft’s algorithms (fr)
  • Around Hopcroft’s Algorithm (fr)
  • Describing an algorithm by Hopcroft (fr)
  • Re-describing an algorithm by Hopcroft (fr)
  • The Design and Analysis of Computer Algorithms (fr)
prop-fr:titreChapitre
  • Minimization of Automata (fr)
  • An algorithm for minimizing states in a finite automaton (fr)
  • Minimization of Automata (fr)
  • An algorithm for minimizing states in a finite automaton (fr)
prop-fr:titreOuvrage
  • International Conference on Implementation and Application of Automata (fr)
  • Automata: from Mathematics to Applications (fr)
  • Theory of machines and computations (fr)
  • International Conference on Implementation and Application of Automata (fr)
  • Automata: from Mathematics to Applications (fr)
  • Theory of machines and computations (fr)
prop-fr:volume
  • 2 (xsd:integer)
  • 250 (xsd:integer)
  • 410 (xsd:integer)
  • 417 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • En informatique théorique, et notamment en théorie des automates finis, l'algorithme de Hopcroft de minimisation d'un automate fini, appelé ainsi d'après son inventeur John Hopcroft, est un algorithme calculant l’automate déterministe fini minimal, à partir d'un automate fini donné. Cet algorithme est — en 2010 — l'algorithme le plus efficace connu. Il opère en temps pour un automate à états sur un alphabet de lettres. (fr)
  • En informatique théorique, et notamment en théorie des automates finis, l'algorithme de Hopcroft de minimisation d'un automate fini, appelé ainsi d'après son inventeur John Hopcroft, est un algorithme calculant l’automate déterministe fini minimal, à partir d'un automate fini donné. Cet algorithme est — en 2010 — l'algorithme le plus efficace connu. Il opère en temps pour un automate à états sur un alphabet de lettres. (fr)
rdfs:label
  • Algorithme de Hopcroft de minimisation d'un automate fini (fr)
  • Algorithme de Hopcroft de minimisation d'un automate fini (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of