Perguntas com a marcação «termination»

Eu escrevi esse código Python e me perguntei se às vezes simplesmente não terminava (supondo que tivéssemos memória / tempo infinitos e nenhum limite de profundidade de recursão). Intuitivamente, você acha que termina, já que em algum momento você deve ter sorte e, se não terminar, terá um tempo infinito …

10 trees  probability-theory  termination 

Estou menos interessado em idiomas em que você pode escrever quase tudo, mas depois é necessário escrever uma prova de que o que você escreveu termina. Estou mais interessado no espaço de design de linguagens inerentemente confinadas a determinadas classes de complexidade por construção. Existe algum tipo de hierarquia teórica …

7 programming-languages  termination