Property |
Value |
dbo:abstract
|
- En informatique théorique, plus précisément en calculabilité, un système de tague (tag system en anglais) est un modèle de calculabilité défini par Emil Leon Post en 1943 comme système de réécriture. C'est un cas particulier de système de Post. Ce modèle est Turing-complet : toute fonction calculable peut être représentée par un système de tague de Post. (fr)
- En informatique théorique, plus précisément en calculabilité, un système de tague (tag system en anglais) est un modèle de calculabilité défini par Emil Leon Post en 1943 comme système de réécriture. C'est un cas particulier de système de Post. Ce modèle est Turing-complet : toute fonction calculable peut être représentée par un système de tague de Post. (fr)
|
dbo:discoverer
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 14765 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1943 (xsd:integer)
- 1961 (xsd:integer)
- 1963 (xsd:integer)
- 1964 (xsd:integer)
- 1967 (xsd:integer)
- 1972 (xsd:integer)
- 1996 (xsd:integer)
- 2008 (xsd:integer)
|
prop-fr:auteur
| |
prop-fr:collection
|
- Prentice-Hall series in automatic computation (fr)
- Prentice-Hall series in automatic computation (fr)
|
prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.114500 (xsd:double)
|
prop-fr:journal
|
- Mathematical Systems Theory (fr)
- Mathematische Annalen (fr)
- Theoretical Computer Science (fr)
- American Journal of Mathematics (fr)
- Journal of the ACM (fr)
- The Annals of Mathematics (fr)
- Mathematical Systems Theory (fr)
- Mathematische Annalen (fr)
- Theoretical Computer Science (fr)
- American Journal of Mathematics (fr)
- Journal of the ACM (fr)
- The Annals of Mathematics (fr)
|
prop-fr:jstor
| |
prop-fr:lccn
| |
prop-fr:lieu
|
- Englewoord Cliffs, N.J. (fr)
- Englewoord Cliffs, N.J. (fr)
|
prop-fr:mathReviews
| |
prop-fr:mois
|
- décembre (fr)
- janvier (fr)
- décembre (fr)
- janvier (fr)
|
prop-fr:nom
|
- De Mol (fr)
- Rogozhin (fr)
- De Mol (fr)
- Rogozhin (fr)
|
prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
|
prop-fr:pages
|
- 15 (xsd:integer)
- 65 (xsd:integer)
- 92 (xsd:integer)
- 164 (xsd:integer)
- 197 (xsd:integer)
- 215 (xsd:integer)
- 437 (xsd:integer)
|
prop-fr:pagesTotales
|
- xvii+317 (fr)
- xvii+317 (fr)
|
prop-fr:prénom
|
- Liesbeth (fr)
- Yurii (fr)
- Liesbeth (fr)
- Yurii (fr)
|
prop-fr:sudoc
| |
prop-fr:série
| |
prop-fr:titre
|
- Uniform tag sequences (fr)
- Computation: Finite and Infinite Machines (fr)
- Small universal Turing machines (fr)
- Tag systems and Collatz-like functions (fr)
- Tag systems and lag systems (fr)
- Universality of Tag Systems with P=2 (fr)
- Formal reductions of the combinatorial decision problem (fr)
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines (fr)
- Uniform tag sequences (fr)
- Computation: Finite and Infinite Machines (fr)
- Small universal Turing machines (fr)
- Tag systems and Collatz-like functions (fr)
- Tag systems and lag systems (fr)
- Universality of Tag Systems with P=2 (fr)
- Formal reductions of the combinatorial decision problem (fr)
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 6 (xsd:integer)
- 11 (xsd:integer)
- 65 (xsd:integer)
- 74 (xsd:integer)
- 152 (xsd:integer)
- 168 (xsd:integer)
- 390 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Prentice–Hall (fr)
- Prentice–Hall (fr)
|
dct:subject
| |
rdfs:comment
|
- En informatique théorique, plus précisément en calculabilité, un système de tague (tag system en anglais) est un modèle de calculabilité défini par Emil Leon Post en 1943 comme système de réécriture. C'est un cas particulier de système de Post. Ce modèle est Turing-complet : toute fonction calculable peut être représentée par un système de tague de Post. (fr)
- En informatique théorique, plus précisément en calculabilité, un système de tague (tag system en anglais) est un modèle de calculabilité défini par Emil Leon Post en 1943 comme système de réécriture. C'est un cas particulier de système de Post. Ce modèle est Turing-complet : toute fonction calculable peut être représentée par un système de tague de Post. (fr)
|
rdfs:label
|
- Máquina de Post (es)
- Système de tague (fr)
- タグシステム (ja)
- 标记系统 (zh)
- Máquina de Post (es)
- Système de tague (fr)
- タグシステム (ja)
- 标记系统 (zh)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |