| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, la méthode de Brzozowski et McCluskey, aussi appelée méthode d'élimination d'états (« state elimination method »), est une méthode permettant d'obtenir une expression rationnelle à partir d'un automate fini. L'algorithme porte le nom de ses inventeurs, J. A. Brzozowski et E. J. McCluskey, qui l'ont présenté en 1963. L'algorithme est exposé dans plusieurs manuels ou des cours. La méthode est également appelée algorithme de Kleene. (fr)
- En informatique théorique, et notamment en théorie des automates, la méthode de Brzozowski et McCluskey, aussi appelée méthode d'élimination d'états (« state elimination method »), est une méthode permettant d'obtenir une expression rationnelle à partir d'un automate fini. L'algorithme porte le nom de ses inventeurs, J. A. Brzozowski et E. J. McCluskey, qui l'ont présenté en 1963. L'algorithme est exposé dans plusieurs manuels ou des cours. La méthode est également appelée algorithme de Kleene. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6048 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1963 (xsd:integer)
- 2003 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Olivier Carton (fr)
- Jacques Désarménien (fr)
- E. J. McCluskey (fr)
- J. A. Brzozowski (fr)
- Olivier Carton (fr)
- Jacques Désarménien (fr)
- E. J. McCluskey (fr)
- J. A. Brzozowski (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:doi
| |
| prop-fr:id
|
- Carton2008 (fr)
- desar (fr)
- Carton2008 (fr)
- desar (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:mois
| |
| prop-fr:nom
|
- Sakarovitch (fr)
- Sakarovitch (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- 237 (xsd:integer)
- 816 (xsd:integer)
|
| prop-fr:prénom
|
- Jacques (fr)
- Jacques (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:périodique
|
- IEEE Transactions on Electronic Computers (fr)
- IEEE Transactions on Electronic Computers (fr)
|
| prop-fr:sousTitre
|
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
|
| prop-fr:titre
|
- Éléments de théorie des automates (fr)
- Langages formels, calculabilité et complexité (fr)
- Automates. Chapitre 1.5 Équivalence des modèles (fr)
- Signal Flow Graph Techniques for Sequential Circuit State Diagrams (fr)
- Éléments de théorie des automates (fr)
- Langages formels, calculabilité et complexité (fr)
- Automates. Chapitre 1.5 Équivalence des modèles (fr)
- Signal Flow Graph Techniques for Sequential Circuit State Diagrams (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- dbpedia-fr:Vuibert
- Université Paris-Est Marne-la-Vallée (fr)
- Institute of Electrical & Electronics Engineers (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, la méthode de Brzozowski et McCluskey, aussi appelée méthode d'élimination d'états (« state elimination method »), est une méthode permettant d'obtenir une expression rationnelle à partir d'un automate fini. L'algorithme porte le nom de ses inventeurs, J. A. Brzozowski et E. J. McCluskey, qui l'ont présenté en 1963. L'algorithme est exposé dans plusieurs manuels ou des cours. La méthode est également appelée algorithme de Kleene. (fr)
- En informatique théorique, et notamment en théorie des automates, la méthode de Brzozowski et McCluskey, aussi appelée méthode d'élimination d'états (« state elimination method »), est une méthode permettant d'obtenir une expression rationnelle à partir d'un automate fini. L'algorithme porte le nom de ses inventeurs, J. A. Brzozowski et E. J. McCluskey, qui l'ont présenté en 1963. L'algorithme est exposé dans plusieurs manuels ou des cours. La méthode est également appelée algorithme de Kleene. (fr)
|
| rdfs:label
|
- Méthode de Brzozowski et McCluskey (fr)
- Méthode de Brzozowski et McCluskey (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
