Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente un exemple d'une machine Turing qui détermine si un nombre binaire donné est égal ou impair. La machine lit le numéro d'entrée et la sortie 1 s'il est égal, et 0 s'il est impair. Les diapositives illustrent le processus étape par étape de la machine, y compris les transitions entre les états et le mouvement de la tête de la machine. La séance de cours couvre également les concepts fondamentaux du calcul, tels que la logique de fonctionnement, l'encodage d'entrée et de sortie, et les tables de transition. En outre, il traite de la forme canonique des machines Turing, mettant en évidence la logique générale, l'encodage entrée/sortie et le tableau de transition comme définissant les caractéristiques.