Théorie des langages

AAI : Une intelligence artificielle qui argumente

Alan Turing, dans son jeu de l’imitation, définit l’IA comme la capaciter à argumenter. Nous sommes encore loin de pouvoir amener une machine à discuter de manière pertinente sur n’importe quel sujet. En revanche, il est possible de produire des argumentations intelligentes en fournissant à la machine une connaissance experte sur un sujet limité.

Compilation d’un mini langage impératif en assembleur

L'objectif de ce projet est de réaliser un compilateur pour un langage de programmation impératif simple ne contenant que les instructions les plus basiques.
On considèrera que toutes les variables prennent la valeur d'entiers, et on aura au minimum les fonctionnalités suivantes:

Interpréteur Logo pour programmer une tortue graphique

Logo est un langage de programmation qui fut très populaire dans les années 1980 pour sa fonctionnalité de tortue graphique : le langage permet de décrire, de manière assez simple, des instructions à l'intention d'une tortue qui parcourt un espace de travail. Ainsi, pour dessiner une maison, on peut écrire le programme suivant :

 

POUR carré

 RÉPÈTE 4 [AVANCE 50 DROITE 90]

FIN

 

Subscribe to RSS - Théorie des langages