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.
