Machines à registre

Sur le site Archive multilingue : http://www.multilingualarchive.com/ma/enwiki/fr/Mathematical_logic

voir également :

• Machine illimitée de registre
• Contre- machine

• Contre- machine : Modèle de référence
• Contre- modèles de machine

• Machine d'indicateur
• Machine d'accès sélectif
• Machine à programme enregistré d'accès sélectif
• Machine de Turing

• Machine universelle de Turing
• Galerie de machine de Turing
• Exemples de machine de Turing

• B-machine de Wang
• Machine de Poteau-Turing -- description plus des exemples
• Algorithme

• Caractérisations d'algorithme
• Exemples d'algorithme

• Problème stoppant
• Castor occupé