Property |
Value |
dbo:abstract
|
- En informatique théorique et en logique mathématique, un système de Post, ou système canonique de Post, appelé ainsi d’après son créateur Emil Post, est un système de manipulation de chaînes de caractères qui commence avec un nombre fini de mots et les transforme par application d’un ensemble fini de règles d’un forme particulière, et par là engendre un langage formel. Ces système ont surtout un intérêt historique car tout système de Post peut être réduit à un système de réécriture de mots (un système de semi-Thue) qui est une formulation plus simple. Les deux formalismes -- système de Post et réécriture -- sont Turing-complets. (fr)
- En informatique théorique et en logique mathématique, un système de Post, ou système canonique de Post, appelé ainsi d’après son créateur Emil Post, est un système de manipulation de chaînes de caractères qui commence avec un nombre fini de mots et les transforme par application d’un ensemble fini de règles d’un forme particulière, et par là engendre un langage formel. Ces système ont surtout un intérêt historique car tout système de Post peut être réduit à un système de réécriture de mots (un système de semi-Thue) qui est une formulation plus simple. Les deux formalismes -- système de Post et réécriture -- sont Turing-complets. (fr)
|
dbo:discoverer
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6410 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1967 (xsd:integer)
- 1997 (xsd:integer)
|
prop-fr:auteur
| |
prop-fr:collection
|
- Undergraduate Texts in Computer Science (fr)
- Undergraduate Texts in Computer Science (fr)
|
prop-fr:date
| |
prop-fr:isbn
| |
prop-fr:lireEnLigne
| |
prop-fr:nom
|
- Théorème de forme normale de Post (fr)
- Théorème de forme normale de Post (fr)
|
prop-fr:numéro
| |
prop-fr:pages
| |
prop-fr:pagesTotales
|
- 317 (xsd:integer)
- 400 (xsd:integer)
|
prop-fr:périodique
| |
prop-fr:sousTitre
|
- Finite and Infinite Machines (fr)
- Finite and Infinite Machines (fr)
|
prop-fr:titre
|
- Computation (fr)
- Formal Reductions of the General Combinatorial Decision Problem (fr)
- Automata and Computability (fr)
- Computation (fr)
- Formal Reductions of the General Combinatorial Decision Problem (fr)
- Automata and Computability (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Springer (fr)
- Prentice-Hall (fr)
- Springer (fr)
- Prentice-Hall (fr)
|
prop-fr:énoncé
|
- Pour tout système de Post, il existe un système de Post en forme normale équivalent ; ce système peut être construit effectivement. (fr)
- Pour tout système de Post, il existe un système de Post en forme normale équivalent ; ce système peut être construit effectivement. (fr)
|
dct:subject
| |
rdfs:comment
|
- En informatique théorique et en logique mathématique, un système de Post, ou système canonique de Post, appelé ainsi d’après son créateur Emil Post, est un système de manipulation de chaînes de caractères qui commence avec un nombre fini de mots et les transforme par application d’un ensemble fini de règles d’un forme particulière, et par là engendre un langage formel. Ces système ont surtout un intérêt historique car tout système de Post peut être réduit à un système de réécriture de mots (un système de semi-Thue) qui est une formulation plus simple. Les deux formalismes -- système de Post et réécriture -- sont Turing-complets. (fr)
- En informatique théorique et en logique mathématique, un système de Post, ou système canonique de Post, appelé ainsi d’après son créateur Emil Post, est un système de manipulation de chaînes de caractères qui commence avec un nombre fini de mots et les transforme par application d’un ensemble fini de règles d’un forme particulière, et par là engendre un langage formel. Ces système ont surtout un intérêt historique car tout système de Post peut être réduit à un système de réécriture de mots (un système de semi-Thue) qui est une formulation plus simple. Les deux formalismes -- système de Post et réécriture -- sont Turing-complets. (fr)
|
rdfs:label
|
- Système de Post (fr)
- Système de Post (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |