Click 40_MTDecidabiliteDef_Cours.ppt link to view the file.