Questions et réponses pour le computation-theory :
La théorie du calcul est la succursale qui traite de savoir si et à quel point les problèmes peuvent être résolus efficacement sur un modèle de calcul, à l'aide d'un algorithme. Le champ est divisé en trois principales branches: la théorie de l'automate, la théorie de la chèque de calcul et la théorie de la complexité de calcul. [Wikipédia]
J'ai eu des difficultés à saisir ce que cela signifie pour une machine de reconnaître et de décider une langue. Je pense que je suis proche des définitions, mais ...
Motivation: J'aimerais pouvoir utiliser la programmation fonctionnelle de jouet dans des langues sans fonctions de première commande, en utilisant des numéros naturels au lieu de fon ...
