Un algorithme de calcul formel des séries énumératrices de langage linéaire
RAIRO. Informatique théorique, Tome 17 (1983) no. 4, pp. 343-364. 
@article{ITA_1983__17_4_343_0,
     author = {Franchi-Zannettacci, M. P.},
     title = {Un algorithme de calcul formel des s\'eries \'enum\'eratrices de langage lin\'eaire},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {343--364},
     publisher = {EDP-Sciences},
     volume = {17},
     number = {4},
     year = {1983},
     mrnumber = {743894},
     zbl = {0523.68062},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1983__17_4_343_0/}
}
TY  - JOUR
AU  - Franchi-Zannettacci, M. P.
TI  - Un algorithme de calcul formel des séries énumératrices de langage linéaire
JO  - RAIRO. Informatique théorique
PY  - 1983
SP  - 343
EP  - 364
VL  - 17
IS  - 4
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1983__17_4_343_0/
LA  - fr
ID  - ITA_1983__17_4_343_0
ER  - 
%0 Journal Article
%A Franchi-Zannettacci, M. P.
%T Un algorithme de calcul formel des séries énumératrices de langage linéaire
%J RAIRO. Informatique théorique
%D 1983
%P 343-364
%V 17
%N 4
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1983__17_4_343_0/
%G fr
%F ITA_1983__17_4_343_0
Franchi-Zannettacci, M. P. Un algorithme de calcul formel des séries énumératrices de langage linéaire. RAIRO. Informatique théorique, Tome 17 (1983) no. 4, pp. 343-364. http://www.numdam.org/item/ITA_1983__17_4_343_0/

1. A. V. Aho et J. D. Ullman, The Theory of Parsing, Translation and Compiling, p. 103-124, Prentice Hall, 1972. | MR

2. J. Brestel et coll., Séries formelles en variables non commutatives, Actes de la cinquième école de printemps d'informatique théorique, Vieux-Boucau-les-Bains, 1976, L.I.T.P., 1978. | Zbl

3. R. J. Cedergreen, B. Larue, D. Sankoff, G. Lapalme et H. Grosjean, Convergence and Minimal Mutation Criteria for Evaluating Early Events in t-RNA Evolution, Proc. Nat., Acad., Sc., U.S.A., vol.77, n° 5, 1980, p. 2791-2795.

4. N. Chomsky et M. P. Schutzenberger, The Algebric Theory of Context free Languages, North Holland, Amsterdam, 1963. | MR

5. D. Debouverie et J. Schlusselberg, Research of Specific Contraints in Pair Association of Amino-acids, Biochimie, 56, 1974, p. 1045-1051.

6. M. P. Franchi-Zannettacci, Étude statistique des enchaînements d'acides aminés par des méthodes combinatoires et l'utilisation du calcul formel, Thèse de 3e cycle, Bordeaux, 1980.

7. J. Hardouin Duparc, Une méthode pour la résolution de certains problèmes combinatoires, Thèse d'état, Bordeaux, 1980.

8. D. E. Knuth, Examples of Formal Semantics, Lecture Notes in Mathematics, n° 188, Springer Verlag, 1971. | MR | Zbl

9. P. M. Lewis, D. J. Rosenckrantz et R. E. Stearns, Attributed Translations, A.C.M. Symposium on Theory of Computing, 1973, p. 160-171. | MR | Zbl

10. Livercy, Theorie des programmes, schémas, preuves, sémantique, Dunos, Paris, 1978. | MR | Zbl

11. P. Lucas et K. Walk, On the Formal Definition of PL/1, Annual review in automatic programming, 1969, p. 105-182. | Zbl

12. S. Tanaka et H. A. Sheraga, Statistical Treatment of Protein Conformation, Macromolecules, vol. 9, n° 5 1976, p. 812-833.