Séances de cours associées à Turing Machines: Langues récursives

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.

Indécidabilité: Partie 1

Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.

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.

Énumérabilité récursive: Machines de Turing et langages indécidables

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.

Complexité computationnelle

Couvre les bases de la complexité computationnelle, y compris les grandes classes de notation O et de complexité.

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.

Complexité computationnelle: Théorie et applications

Explore la complexité computationnelle, l'exhaustivité du NP et les réductions polynômes de l'informatique théorique.

Définition formelle des turbines

Explore la définition théorique du calcul et introduit les machines Turing.

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.

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.

Expressions régulières : Fondements et applications

Introduit des expressions régulières, couvrant les ensembles de langage, la syntaxe, la sémantique et les limitations.

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.

Problèmes et langues : Langues régulières

Couvre les langues régulières, l'encodage, les alphabets, les mots, les langues, la concaténation, l'exponentiation et la fermeture itérative.

L'algorithme de Dijkstra: Tous les services

Couvre l'algorithme de Dijkstra et son application au problème de chemin le plus court de toutes les paires.

Concevoir des espaces : Mouvement et architecture

Explore la relation entre le mouvement et l'architecture, en mettant l'accent sur la collaboration entre chorégraphes et designers.

Reformuler les problèmes : outils et intuition

Se concentre sur les problèmes ouverts et l'importance de reformuler les problèmes avec de meilleurs outils et de l'intuition.

Théorie de calcul: Décidabilité et complexité

S'inscrit dans la théorie du calcul, couvrant la décidabilité, la complexité, P vs. NP, et les réductions.

Halting Problem : des problèmes insolubles

Explore l'insolvabilité du problème d'arrêt dans les algorithmes et les limites des procédures dans la détermination de l'arrêt du programme.

LED, lumière et couleur

Couvre l'énergie et le rayonnement des LED, les transitions dans les niveaux d'énergie, et la synthèse des couleurs.