Metadata
Author: WikiMatrix
Data
Esperanto[eo]
Ekzemple la bulea problemo pri kontentigebleco povas reduktiĝi al la problemo de haltado per tio konverti ĝin al la priskribo de maŝino de Turing, kiu provas ĉiun vervalorajn asignoj kaj kiam ĝi trovas tiun, kiu kontentigas la formulon ĝi haltas, kaj alie ĝi iras en malfinia ciklo.
Portuguese[pt]
Por exemplo, o problema de satisfatibilidade booleana pode ser reduzido ao problema da parada, transformando-o em uma descrição de uma máquina de Turing que tenta todos as atribuições verdadeiras e quando encontra uma que satisfaça a fórmula, ela para, caso contrário, entra em um loop infinito.