Problema da parada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m r2.7.1) (Robô: A adicionar: vi:Bài toán dừng |
m link para experimento mental |
||
Linha 1:
Na [[teoria da computabilidade]] o [[experimento mental]] do '''problema da parada''' é um [[problema de decisão]] que pode ser declarado informalmente da seguinte forma:
:''Dado uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente, dada essa entrada.''
|