Séance de cours

Définition formelle des turbines

Description

Cette séance de cours revisite la définition théorique de la « computation » et des algorithmes, explorant ce qui peut être résolu et efficacement résolu avec un algorithme. Il introduit les machines Turing comme automates mathématiques abstraits avec une bande infinie divisée en cellules stockant des caractères d'un alphabet fini. Les machines ont une tête de lecture/écriture qui peut modifier les caractères, se déplacer à gauche ou à droite, et un ensemble d'états internes. La séance de cours explique le fonctionnement des machines Turing à travers des exemples, détaillant la table de transition et le processus de détermination si un nombre est pair. Il couvre l'initialisation de la bande, le positionnement de la tête, les mises à jour de l'état et les conditions d'arrêt. Le contenu de la bande à la fin représente le résultat du traitement.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.