preguntar acerca de turing-complete

comme il y a des langues complètes non-Turing là-bas, et étant donné que je n'ai pas étudié L'informatique à l'Université, quelqu'un pourrait-il expliquer quelque chose qu'un langage Turing-incomplet (comme Coq ) ne peut pas faire? ou l …

on m'a dit que le système de template en C++ est Turing-complete au moment de la compilation. Ceci est mentionné dans ce post et aussi sur wikipedia . Pouvez-vous fournir un exemple non trivial d'un calcul qui exploite cette prop …