| Property |
Value |
| dbo:abstract
|
- Un automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné. Les automates finis déterministes ont plusieurs aspects avantageux : simplicité de leur définition, facilité de manipulation, aisance de la programmation informatique, élégance des propriétés mathématiques. Leur inconvénient majeur est la taille, mesurée en nombre d'états, qui peut dans certains cas être exponentielle par rapport à leur contre-part non déterministe. Les deux classes d'automates finis, les automates finis déterministes et non déterministes, ont la même puissance d'expression : elles reconnaissent la même famille de langages, à savoir les langages rationnels, appelés aussi langages réguliers ou langages reconnaissables. (fr)
- Un automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné. Les automates finis déterministes ont plusieurs aspects avantageux : simplicité de leur définition, facilité de manipulation, aisance de la programmation informatique, élégance des propriétés mathématiques. Leur inconvénient majeur est la taille, mesurée en nombre d'états, qui peut dans certains cas être exponentielle par rapport à leur contre-part non déterministe. Les deux classes d'automates finis, les automates finis déterministes et non déterministes, ont la même puissance d'expression : elles reconnaissent la même famille de langages, à savoir les langages rationnels, appelés aussi langages réguliers ou langages reconnaissables. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 28507 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1974 (xsd:integer)
- 1999 (xsd:integer)
- 2003 (xsd:integer)
- 2006 (xsd:integer)
|
| prop-fr:auteur
|
- Samuel Eilenberg (fr)
- Jacques Sakarovitch (fr)
- Jean-Éric Pin (fr)
- Samuel Eilenberg (fr)
- Jacques Sakarovitch (fr)
- Jean-Éric Pin (fr)
|
| prop-fr:auteursOuvrage
|
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
|
| prop-fr:id
|
- Sakarovitch (fr)
- EISI (fr)
- Sakarovitch (fr)
- EISI (fr)
|
| prop-fr:isbn
| |
| prop-fr:lieu
| |
| prop-fr:nom
|
- Séébold (fr)
- Séébold (fr)
|
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- 198 (xsd:integer)
- 816 (xsd:integer)
- xxxv+1941 (fr)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Patrice (fr)
- Patrice (fr)
|
| prop-fr:sousTitre
|
- Méthodes et exercices corrigés (fr)
- Méthodes et exercices corrigés (fr)
|
| prop-fr:titre
|
- Théorie des automates (fr)
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Théorie des automates (fr)
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
|
| prop-fr:titreChapitre
|
- Automates finis (fr)
- Automates finis (fr)
|
| prop-fr:titreOuvrage
|
- Encyclopédie de l'informatique et des systèmes d'information (fr)
- Encyclopédie de l'informatique et des systèmes d'information (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Academic Press (fr)
- Vuibert (fr)
- Academic Press (fr)
- Vuibert (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Un automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné. (fr)
- Un automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné. (fr)
|
| rdfs:label
|
- Automate fini déterministe (fr)
- Autómata finito determinista (es)
- Autômato finito determinístico (pt)
- Детермінований скінченний автомат (uk)
- Детерминированный конечный автомат (ru)
- Automate fini déterministe (fr)
- Autómata finito determinista (es)
- Autômato finito determinístico (pt)
- Детермінований скінченний автомат (uk)
- Детерминированный конечный автомат (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
