Indécidabilité: Partie 1Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.
Machines de Turing: BasicsCouvre les bases des machines de Turing, y compris les états, la manipulation de bandes et les capacités de résolution de problèmes.
Complexité computationnelleCouvre les bases de la complexité computationnelle, y compris les grandes classes de notation O et de complexité.
Opérations sur les langues formellesExplore les opérations formelles du langage, y compris la concaténation, l'union, l'intersection et l'étoile Kleene pour la répétition du langage.
