Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 9 (1975)

Sommaire du Fascicule no. R1

Une double hiérarchie infinie de langages vérifiables

Rodriguez, François

p. 5-19

Langages d'interprétation des schémas récursifs

Cousineau, F. G. ; Rifflet, J.-M.

p. 21-42

Post grammars as a programming language description tool

Feautrier, Paul

p. 43-72

Sommaire du Fascicule no. R2

A note on the recognition of one counter languages

Greibach, S. A.

p. 5-12

A pumping theorem for deterministic ETOL languages

Ehrenfeucht, A. ; Rozenberg, G.

p. 13-23

Sur l'image, par une transduction rationnelle, des mots sur une lettre

Durieux, J. L.

p. 25-37

On some elementary properties of uniform automata

Valk, Rüdiger

p. 39-54

Généralisation de la notion de langage à contexte libre. Application à l'analyse syntaxique de figures

Mohr, R.

p. 55-88

Sommaire du Fascicule no. R3

Limiting recursion and the arithmetic hierarchy

Criscuolo, G. ; Minicozzi, E. ; Trautteur, G.

p. 5-12

Deux propriétés combinatoires du langage de Lukasiewicz

Gouyou-Beauchamps, D.

p. 13-24

Note sur l'algèbre des fonctions

Raymond, F. H.

p. 25-49

Sur les TOL - Systèmes unaires

Latteux, Michel

p. 51-62