| Property |
Value |
| dbo:abstract
|
- En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme :
* La calculabilité, par le modèle des machines de Turing ;
* Les automates finis, et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, la traduction des programmes par les compilateurs, divers algorithmes de manipulation de textes comme les algorithmes de recherche de sous-chaîne, ou la vérification automatique du fonctionnement de circuits logiques;
* La théorie de la complexité des algorithmes, visant à classifier les algorithmes en fonction des ressources temporelles et en mémoire nécessaires à leur exécution ;
* La vérification de modèle qui sert à établir la conformité de programmes à leurs spécifications. Voir par exemple Coq. Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. (fr)
- En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme :
* La calculabilité, par le modèle des machines de Turing ;
* Les automates finis, et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, la traduction des programmes par les compilateurs, divers algorithmes de manipulation de textes comme les algorithmes de recherche de sous-chaîne, ou la vérification automatique du fonctionnement de circuits logiques;
* La théorie de la complexité des algorithmes, visant à classifier les algorithmes en fonction des ressources temporelles et en mémoire nécessaires à leur exécution ;
* La vérification de modèle qui sert à établir la conformité de programmes à leurs spécifications. Voir par exemple Coq. Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. (fr)
|
| dbo:isPartOf
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 20262 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1978 (xsd:integer)
- 1979 (xsd:integer)
- 1997 (xsd:integer)
- 2003 (xsd:integer)
- 2008 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:auteur
|
- Michael A. Harrison (fr)
- Olivier Carton (fr)
- Daniel I. A. Cohen (fr)
- Jean-Claude Fernandez (fr)
- J. C. Martin (fr)
- John E. Hopcroft et Jeffrey D. Ullman (fr)
- Yliès Falcone (fr)
- Michael A. Harrison (fr)
- Olivier Carton (fr)
- Daniel I. A. Cohen (fr)
- Jean-Claude Fernandez (fr)
- J. C. Martin (fr)
- John E. Hopcroft et Jeffrey D. Ullman (fr)
- Yliès Falcone (fr)
|
| prop-fr:id
|
- Cohen (fr)
- HU (fr)
- Sakarovitch (fr)
- Carton2008 (fr)
- Falcone2020 (fr)
- Cohen (fr)
- HU (fr)
- Sakarovitch (fr)
- Carton2008 (fr)
- Falcone2020 (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Grenoble (fr)
- Paris (fr)
- Grenoble (fr)
- Paris (fr)
|
| prop-fr:nom
|
- Sakarovitch (fr)
- Sakarovitch (fr)
|
| prop-fr:pagesTotales
|
- 237 (xsd:integer)
- 320 (xsd:integer)
- 816 (xsd:integer)
|
| prop-fr:prénom
|
- Jacques (fr)
- Jacques (fr)
|
| prop-fr:sousTitre
|
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
- Rappels des notions essentielles et plus de 170 exercices corrigés (fr)
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
- Rappels des notions essentielles et plus de 170 exercices corrigés (fr)
|
| prop-fr:titre
|
- Introduction to Formal Language Theory (fr)
- Éléments de théorie des automates (fr)
- Introduction to Automata Theory, Languages and Computation (fr)
- Langages formels, calculabilité et complexité (fr)
- Introduction to Computer Theory (fr)
- Automates à états finis et langages réguliers (fr)
- Introduction to Languages and the Theory of Computation, (fr)
- Introduction to Formal Language Theory (fr)
- Éléments de théorie des automates (fr)
- Introduction to Automata Theory, Languages and Computation (fr)
- Langages formels, calculabilité et complexité (fr)
- Introduction to Computer Theory (fr)
- Automates à états finis et langages réguliers (fr)
- Introduction to Languages and the Theory of Computation, (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. (fr)
- En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. (fr)
|
| rdfs:label
|
- Théorie des automates (fr)
- Automatentheorie (de)
- Teoria d'autòmats (ca)
- Teoría de autómatas (es)
- Теорія автоматів (uk)
- オートマトン (ja)
- Théorie des automates (fr)
- Automatentheorie (de)
- Teoria d'autòmats (ca)
- Teoría de autómatas (es)
- Теорія автоматів (uk)
- オートマトン (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:knownFor
of | |
| is dbo:mainArticleForCategory
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:domaines
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
