BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7786@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160616T113000
DTEND;TZID=Europe/Paris:20160616T120000
DTSTAMP:20241120T204830Z
URL:https://www.i2m.univ-amu.fr/evenements/une-machine-de-turing-kecekssa/
SUMMARY:Pierre Guillon (I2M\, CNRS\, Marseille): Une machine de Turing\, k
 écékssa?
DESCRIPTION:Pierre Guillon: En informatique théorique\, une machine de Tur
 ing est un modèle abstrait du fonctionnement des appareils mécaniques de
  calcul\, tel un ordinateur. Ce modèle a été imaginé par Alan Turing e
 n 1936\, en vue de donner une définition précise au concept d’algorith
 me ou de « procédure mécanique ». Il est toujours largement utilisé
  en informatique théorique\, en particulier dans les domaines de la compl
 exité algorithmique et de la calculabilité.\nÀ l'origine\, le concept d
 e machine de Turing\, inventé avant l'ordinateur\, était censé représe
 nter une personne virtuelle exécutant une procédure bien définie\, en c
 hangeant le contenu des cases d'un ruban infini\, en choisissant ce conten
 u parmi un ensemble fini de symboles. D'autre part\, à chaque étape de l
 a procédure\, la personne doit se placer dans un état particulier parmi 
 un ensemble fini d'états. La procédure est formulée en termes d'étapes
  élémentaires du type : « si vous êtes dans l'état 42 et que le sym
 bole contenu sur la case que vous regardez est « 0 »\, alors remplacer
  ce symbole par un « 1 »\, passer dans l'état 17\, et regarder mainte
 nant la case adjacente à droite ».\nLa thèse de Church postule que tou
 t problème de calcul fondé sur une procédure algorithmique peut être r
 ésolu par une machine de Turing. Cette thèse n'est pas un énoncé math
 ématique\, puisqu'elle ne suppose pas une définition précise des procé
 dures algorithmiques. En revanche\, il est possible de définir une notion
  de « système acceptable de programmation » et de démontrer que le p
 ouvoir de tels systèmes est équivalent à celui des machines de Turing (
 ils sont Turing-complets). [wiki]
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Pierre_Guillon.jpg
CATEGORIES:Séminaire,Kécékssa
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR