En théorie des automates, et notamment des automates finis déterministes, l'algorithme de Brzozowski de minimisation d'un automate fini, publié par Janusz A. Brzozowski en 1963, est un algorithme de minimisation d'un automate fini fondé sur une double transposition et une double déterminisation.

Property Value
dbo:abstract
  • En théorie des automates, et notamment des automates finis déterministes, l'algorithme de Brzozowski de minimisation d'un automate fini, publié par Janusz A. Brzozowski en 1963, est un algorithme de minimisation d'un automate fini fondé sur une double transposition et une double déterminisation. L'algorithme est, avec l'algorithme de Moore et l'algorithme de Hopcroft, l'un des trois algorithmes principaux de minimisation d'un automate fini déterministe. Ce n'est pas le plus efficace, mais il est plus simple à expliquer. Il est remarquable que la minimisation se ramène ainsi à deux opérations conceptuellement très différentes : la transposition et la déterminisation. (fr)
  • En théorie des automates, et notamment des automates finis déterministes, l'algorithme de Brzozowski de minimisation d'un automate fini, publié par Janusz A. Brzozowski en 1963, est un algorithme de minimisation d'un automate fini fondé sur une double transposition et une double déterminisation. L'algorithme est, avec l'algorithme de Moore et l'algorithme de Hopcroft, l'un des trois algorithmes principaux de minimisation d'un automate fini déterministe. Ce n'est pas le plus efficace, mais il est plus simple à expliquer. Il est remarquable que la minimisation se ramène ainsi à deux opérations conceptuellement très différentes : la transposition et la déterminisation. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10135075 (xsd:integer)
dbo:wikiPageLength
  • 9441 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 183974009 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1963 (xsd:integer)
  • 2003 (xsd:integer)
  • 2010 (xsd:integer)
  • 2013 (xsd:integer)
  • 2016 (xsd:integer)
prop-fr:arxiv
  • 1010.531800 (xsd:double)
prop-fr:auteur
  • Cyril Nicaud (fr)
  • Janusz A. Brzozowski (fr)
  • Sven De Felice (fr)
  • Cyril Nicaud (fr)
  • Janusz A. Brzozowski (fr)
  • Sven De Felice (fr)
prop-fr:auteursOuvrage
  • Marie-Pierre Béal et Olivier Carton (fr)
  • Marie-Pierre Béal et Olivier Carton (fr)
prop-fr:bnf
  • 389897103 (xsd:integer)
prop-fr:collection
  • Lecture Notes in Computer Science (fr)
  • Lecture Notes in Computer Science (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.114200 (xsd:double)
prop-fr:isbn
  • 2 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:journal
  • International Journal of Foundations of Computer Science (fr)
  • International Journal of Foundations of Computer Science (fr)
prop-fr:langue
  • en (fr)
  • fr (fr)
  • en (fr)
  • fr (fr)
prop-fr:lieu
  • New York (fr)
  • Paris (fr)
  • New York (fr)
  • Paris (fr)
prop-fr:nom
  • Carton (fr)
  • Felice (fr)
  • Berstel (fr)
  • Boasson (fr)
  • Fagnot (fr)
  • Nicaud (fr)
  • Sakarovitch (fr)
  • Carton (fr)
  • Felice (fr)
  • Berstel (fr)
  • Boasson (fr)
  • Fagnot (fr)
  • Nicaud (fr)
  • Sakarovitch (fr)
prop-fr:numéro
  • 2 (xsd:integer)
prop-fr:numéroDansCollection
  • 7907 (xsd:integer)
prop-fr:pages
  • 109 (xsd:integer)
  • 529 (xsd:integer)
prop-fr:pagesTotales
  • 816 (xsd:integer)
prop-fr:passage
  • 179 (xsd:integer)
prop-fr:prénom
  • Olivier (fr)
  • Jacques (fr)
  • Jean (fr)
  • Luc (fr)
  • Isabelle (fr)
  • Cyril (fr)
  • Sven De (fr)
  • Olivier (fr)
  • Jacques (fr)
  • Jean (fr)
  • Luc (fr)
  • Isabelle (fr)
  • Cyril (fr)
  • Sven De (fr)
prop-fr:périodique
  • Proceedings of the Symposium on Mathematical Theory of Automata, Polytechnic Institute of Brooklyn, April 1962 (fr)
  • Proceedings of the Symposium on Mathematical Theory of Automata, Polytechnic Institute of Brooklyn, April 1962 (fr)
prop-fr:titre
  • Average Case Analysis of Brzozowski's Algorithm (fr)
  • Canonical regular expressions and minimal state graphs for definite events (fr)
  • Éléments de théorie des automates (fr)
  • Average Case Analysis of Brzozowski's Algorithm (fr)
  • Canonical regular expressions and minimal state graphs for definite events (fr)
  • Éléments de théorie des automates (fr)
prop-fr:titreChapitre
  • Minimization of Automata (fr)
  • Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata (fr)
  • Minimization of Automata (fr)
  • Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata (fr)
prop-fr:titreOuvrage
  • Developments in Language Theory - 17th International Conference (fr)
  • Automata: from Mathematics to Applications (fr)
  • Developments in Language Theory - 17th International Conference (fr)
  • Automata: from Mathematics to Applications (fr)
prop-fr:url
prop-fr:volume
  • 27 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:zbl
  • 1188.681770 (xsd:double)
prop-fr:éditeur
  • Springer-Verlag (fr)
  • Vuibert (fr)
  • Wiley (fr)
  • European Mathematical Society (fr)
  • Springer-Verlag (fr)
  • Vuibert (fr)
  • Wiley (fr)
  • European Mathematical Society (fr)
dct:subject
rdfs:comment
  • En théorie des automates, et notamment des automates finis déterministes, l'algorithme de Brzozowski de minimisation d'un automate fini, publié par Janusz A. Brzozowski en 1963, est un algorithme de minimisation d'un automate fini fondé sur une double transposition et une double déterminisation. (fr)
  • En théorie des automates, et notamment des automates finis déterministes, l'algorithme de Brzozowski de minimisation d'un automate fini, publié par Janusz A. Brzozowski en 1963, est un algorithme de minimisation d'un automate fini fondé sur une double transposition et une double déterminisation. (fr)
rdfs:label
  • Algorithme de Brzozowski de minimisation d'un automate fini (fr)
  • Algorithme de Brzozowski 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