Questions marquées «computability»

Questions liées à la théorie de la calculabilité, alias théorie de la récursivité

42
L'itération peut remplacer la récursivité?

J'ai vu partout débordement de pile, par exemple ici , ici , ici , ici , ici et quelques autres que je me fiche de mentionner, que "tout programme qui utilise la récursion peut être converti en un programme utilisant uniquement l'itération". Il y avait même un fil de discussion très élevé avec une...

40
Est-ce que C est vraiment complet?

J'essayais d'expliquer à quelqu'un que C est Turing-complet et je me suis rendu compte que je ne savais pas si c'était techniquement Turing-complet. (C comme dans la sémantique abstraite, pas comme dans une implémentation réelle.) La réponse "évidente" (en gros: elle peut traiter une quantité de...