Geodesic
Un algorithme de calcul formel des séries énumératrices de langage linéaire
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983) no. 4, pp. 343-364.

Voir la notice de l'article provenant de la source Numdam

@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 - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {343--364},
     publisher = {EDP-Sciences},
     volume = {17},
     number = {4},
     year = {1983},
     mrnumber = {743894},
     zbl = {0523.68062},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1983
SP  - 343
EP  - 364
VL  - 17
IS  - 4
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1983
%P 343-364
%V 17
%N 4
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983) no. 4, pp. 343-364. http://geodesic.mathdoc.fr/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. | Zbl | MR

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. | Zbl | MR

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

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.