Un algorithme de calcul formel des séries énumératrices de langage linéaire
Franchi-Zannettacci, M. P.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983), p. 343-364 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1983-01-01
@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},
     volume = {17},
     year = {1983},
     pages = {343-364},
     mrnumber = {743894},
     zbl = {0523.68062},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/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) pp. 343-364. http://gdmltest.u-ga.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 408321

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 0392.00014

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 152391

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 337061 | Zbl 0221.68014

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 408340 | Zbl 0306.68053

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

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

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