athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
- From: Baptiste Mélès <baptiste.meles AT gmail.com>
- To: athena AT services.cnrs.fr
- Subject: [Athena] Programmer des machines de Turing
- Date: Thu, 24 Feb 2011 09:32:44 +0100
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:content-type:content-transfer-encoding; b=Fzvix+qXqIiJtql6hKr4XLsub0w/9L0QcY8dDNpN48+AOzgA6vL8GZ9NINZH5SglZz Qf7teujJTxJU3eS+HNfafkb928IIFxqPK75OmKWY32yfLkEaDS0HA29dmY9MC68QCUiA zy6h1bUuLksWpxNmkgDUU8MJVAsRwx1Nkgaek=
- Mailscanner-null-check: 1299142702.05651@KIXaLK8BDXOO0HCBZ9UrIQ
Chers collègues,
Le langage de programmation TMPL, créé en 2008, permet de manipuler
concrètement des machines de Turing, d'une manière aussi proche que
possible de la définition et de la syntaxe de l'article de 1936.
Libre (sous licence GPL v3) et gratuit, ce logiciel peut notamment
être utilisé à des fins pédagogiques. Le programme et sa documentation
sont disponibles à l'adresse suivante :
http://baptiste.meles.free.fr/?Le-langage-TMPL
Les critiques, remarques et questions de ceux qui, parmi vous,
voudront bien tester ce langage seront les bienvenues !
Très cordialement,
Baptiste Mélès (Clermont-Ferrand II).
- [Athena] Programmer des machines de Turing, Baptiste Mélès, 24/02/2011
Archives gérées par MHonArc 2.6.18.