Word problem (mathematics)
Le problème du mot est un problème de décision en algèbre abstraite. Il consiste, pour une présentation donnée d'une structure algébrique, à répondre algorithmiquement (à décider) à la question suivante : étant donnée une paire de termes et de la structure, est-ce que l'égalité est satisfaite ? Le premier problème de mot dont on a démontré l'indécidabilité fut le problème du mot dans les groupes. La démonstration a été annoncé par Tarski en 1949 et publié dans le livre Undecidable Theories.
Wikipage disambiguates
Wikipage redirect
Abstract rewriting systemBoolean algebra (structure)Cayley graphCombinatorics on wordsComplete latticeDecision problemFree latticeFree objectHeyting algebraKnuth–Bendix completion algorithmList of undecidable problemsMuller–Schupp theoremRE (complexity)RewritingSQ-universal groupSemi-Thue systemStroud (surname)Word problemWord problem (term rewriting)Word problem for groups
Link from a Wikipage to another Wikipage
primaryTopic
Word problem (mathematics)
Le problème du mot est un problème de décision en algèbre abstraite. Il consiste, pour une présentation donnée d'une structure algébrique, à répondre algorithmiquement (à décider) à la question suivante : étant donnée une paire de termes et de la structure, est-ce que l'égalité est satisfaite ? Le premier problème de mot dont on a démontré l'indécidabilité fut le problème du mot dans les groupes. La démonstration a été annoncé par Tarski en 1949 et publié dans le livre Undecidable Theories.
has abstract
Le problème du mot est un prob ...... oblèmes du mot (voir la (en)).
@fr
Na matemática e na ciência da ...... decidíveis para mais exemplos.
@pt
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,009,848,388
Link from a Wikipage to another Wikipage
date
July 2013
@en
June 2013
@en
reason
In which algebra? It is certainly decidable in ℤ
@en
In which lattice precisely? Un ...... bstitutions to a substitution.
@en
The solution of a word problem was explained above to be an algorithm, not a set.
@en
wikiPageUsesTemplate
hypernym
comment
Le problème du mot est un prob ...... le livre Undecidable Theories.
@fr
Na matemática e na ciência da ...... a responder a essa pergunta po
@pt
label
Problema da palavra
@pt
Problème du mot
@fr
Word problem (mathematics)
@en