Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours explore le concept des machines Turing et leur relation aux langages récursifs, en mettant l'accent sur l'indécidabilité de certains problèmes et exécutions infinies. Il couvre l'état d'acceptation, la non-acceptation, et les implications de l'indécidabilité dans la théorie computationnelle.