Un système de balises est un modèle de calcul déterministe publié par Emil Leon Post en 1943 sous forme simple de système post canonique, qui peut également être considéré comme une machine abstraite, appelée machine à post (à ne pas confondre avec les machines post-Turing).).
Des questions? Avez-vous besoin de plus d'informations?
Ecrivez et nous répondrons à votre email
Commentaires
Enregistrer un commentaire