Machine à compteurs
De Wikipedia, l'encyclopédie encyclopedia
En informatique théorique, une machine à compteurs est un modèle de calcul. Les machines à compteurs[1] sont parfois appelées machines à registres ou machines de Minsky. Bien que les machines à compteurs soient simples à définir et à comprendre, elles ont la même puissance de calcul que les machines de Turing (voir calculabilité).
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.