RAIRO I NFORMATIQUE THÉORIQUE H.A.MAURER G.ROZENBERG A.S ALOMAA D.WOOD Pure interpretations of EOL forms RAIRO – Informatique théorique, tome 13, n o 4 (1979), p. 347-362. <http://www.numdam.org/item?id=ITA_1979__13_4_347_0> © AFCET, 1979, tous droits réservés. L’accès aux archives de la revue « RAIRO – Informatique théorique » im- plique l’accord avec les conditions générales d’utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/