Displaying similar documents to “Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)”

Reduction des machines séquentielles non deterministes.

Jacques Zahnd (1982)

Qüestiió

Similarity:

En partant de la notion classique de machine séquentielle incomplètement spécifiée, on introduit une généralisation de ce modèle, sous la forme de tables d'états qui associent à chaque état présent et à chaque signal d'entrée un ensemble d'états futurs et un ensemble de signaux de sortie. On définit ensuite une fonction de réponse qui caractérise le comportement entrée-sortie d'une telle machine, ce qui permet de poser en termes exacts le problème de sa réduction. On passe en revue quelques...

Gödel et la thèse de Turing

Pierre Cassou-Noguès (2008)

Revue d'histoire des mathématiques

Similarity:

Cet article porte sur la discussion par Gödel de la thèse de Turing. Pour l’essentiel, nous présentons des notes inédites conservées dans les Archives Gödel, qui apportent des éléments nouveaux sur la relation ambiguë de Gödel à Turing. La première section examine la position qu’avait Gödel avant 1937 sur la possibilité d’une définition de la calculabilité. La deuxième concerne directement l’interprétation par Gödel de la thèse de Turing. Dans plusieurs passages, antérieurs à 1937, Gödel...

Présentation du colloque

René de Possel (1962)

Annales scientifiques de l'Université de Clermont. Mathématiques

Similarity: