Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Decider (Turing machine)
Graph Chatbot
Séances de cours associées (13)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 2
Suivant
Indécidabilité: Partie 1
Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.
Machines de turing : Décidabilité et théorie de la récursion
Explore la décidabilité dans les machines Turing et les langages récursifs.
Turing Machines: Langues récursives
Couvre les machines Turing, les langages récursifs, l'indécidabilité et les exécutions infinies en théorie computationnelle.
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.
L'indécidabilité : langages récursifs et machines de Turing
Explore l'indécidabilité à travers les langages récursifs, les machines de Turing et le problème de l'arrêt.
Machines de Turing: Basics
Couvre les bases des machines de Turing, y compris les états, la manipulation de bandes et les capacités de résolution de problèmes.
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.
Universal Turing Machine: Définition et fonctionnement
Explore la machine universelle Turing, sa représentation canonique et son rôle dans la définition des algorithmes et des concepts théoriques d'informatique.
Définition formelle des turbines
Explore la définition théorique du calcul et introduit les machines Turing.
Exemple de machine de turing: Test pour des nombres égaux
Démontre une machine de test Turing pour des nombres égaux en utilisant l'entrée binaire.
