| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret. Il importe peu, dans ce cadre, de savoir si cet appareil peut effectivement être construit, mais plutôt d'appréhender, par ce modèle simplifié, le fonctionnement des machines, et de les comparer entre eux. La notion d'automate ou de machine abstraite, aussi appelé « modèle de machine » joue un rôle central en informatique théorique. Ainsi, en théorie de la calculabilité et en théorie de la complexité les automates modélisent la notion centrale de calcul. Les automates jouent aussi un rôle déterminant en informatique pratique, par exemple dans la définition du langage intermédiaire durant la construction des compilateurs et plus généralement comme modèle pour la description du fonctionnement de programmes informatiques. En électronique numérique les automates servent dans les circuits de commande ou dans les systèmes hybrides. De tels automates de commande ont des applications en architecture matérielle, en réseau informatique et dans les systèmes réactifs. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret. Il importe peu, dans ce cadre, de savoir si cet appareil peut effectivement être construit, mais plutôt d'appréhender, par ce modèle simplifié, le fonctionnement des machines, et de les comparer entre eux. La notion d'automate ou de machine abstraite, aussi appelé « modèle de machine » joue un rôle central en informatique théorique. Ainsi, en théorie de la calculabilité et en théorie de la complexité les automates modélisent la notion centrale de calcul. Les automates jouent aussi un rôle déterminant en informatique pratique, par exemple dans la définition du langage intermédiaire durant la construction des compilateurs et plus généralement comme modèle pour la description du fonctionnement de programmes informatiques. En électronique numérique les automates servent dans les circuits de commande ou dans les systèmes hybrides. De tels automates de commande ont des applications en architecture matérielle, en réseau informatique et dans les systèmes réactifs. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9444 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1990 (xsd:integer)
- 2000 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
|
| prop-fr:auteur
|
- David B. Skillicorn (fr)
- Peter Sestoft (fr)
- Peter van Emde Boas (fr)
- Pieter Hartel (fr)
- Stephan Diehl (fr)
- Werner Kluge (fr)
- David B. Skillicorn (fr)
- Peter Sestoft (fr)
- Peter van Emde Boas (fr)
- Pieter Hartel (fr)
- Stephan Diehl (fr)
- Werner Kluge (fr)
|
| prop-fr:auteurOuvrage
|
- Jan van Leeuwen (fr)
- Jan van Leeuwen (fr)
|
| prop-fr:doi
| |
| prop-fr:isbn
|
- 978 (xsd:integer)
- 9780444880710 (xsd:decimal)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Berlin, Heidelberg (fr)
- Berlin, Heidelberg (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mois
| |
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- 212 (xsd:integer)
- 384 (xsd:integer)
- 1003 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:périodique
|
- Future Generation Computer Systems (fr)
- Future Generation Computer Systems (fr)
|
| prop-fr:sousTitre
|
- A Lambda Calculus Perspective (fr)
- A Lambda Calculus Perspective (fr)
|
| prop-fr:titre
|
- Abstract Computing Machines (fr)
- Foundations of Parallel Programming (fr)
- Abstract machines for programming language implementation (fr)
- Abstract Computing Machines (fr)
- Foundations of Parallel Programming (fr)
- Abstract machines for programming language implementation (fr)
|
| prop-fr:titreChapitre
|
- Machine Models and Simulations (fr)
- Machine Models and Simulations (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity (fr)
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity (fr)
|
| prop-fr:urlTexte
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret. Il importe peu, dans ce cadre, de savoir si cet appareil peut effectivement être construit, mais plutôt d'appréhender, par ce modèle simplifié, le fonctionnement des machines, et de les comparer entre eux. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret. Il importe peu, dans ce cadre, de savoir si cet appareil peut effectivement être construit, mais plutôt d'appréhender, par ce modèle simplifié, le fonctionnement des machines, et de les comparer entre eux. (fr)
|
| rdfs:label
|
- Abstract machine (en)
- Automa (informatica) (it)
- Automat (Informatik) (de)
- Automat (datavetenskap) (sv)
- Machine abstraite (fr)
- Màquina abstracta (ca)
- Máquina abstracta (es)
- Абстрактний автомат (uk)
- 抽象機器 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
