@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 = {https://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 - https://www.numdam.org/item/ITA_1983__17_4_343_0/ LA - fr ID - ITA_1983__17_4_343_0 ER -
Franchi-Zannettacci, M. P. Un algorithme de calcul formel des séries énumératrices de langage linéaire. RAIRO. Informatique théorique, Volume 17 (1983) no. 4, pp. 343-364. https://www.numdam.org/item/ITA_1983__17_4_343_0/
1. et , The Theory of Parsing, Translation and Compiling, p. 103-124, Prentice Hall, 1972. | MR
2. 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. , , , et , 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. et , The Algebric Theory of Context free Languages, North Holland, Amsterdam, 1963. | MR
5. et , Research of Specific Contraints in Pair Association of Amino-acids, Biochimie, 56, 1974, p. 1045-1051.
6. , É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. , Une méthode pour la résolution de certains problèmes combinatoires, Thèse d'état, Bordeaux, 1980.
8. , Examples of Formal Semantics, Lecture Notes in Mathematics, n° 188, Springer Verlag, 1971. | Zbl | MR
9. , et , Attributed Translations, A.C.M. Symposium on Theory of Computing, 1973, p. 160-171. | Zbl | MR
10. , Theorie des programmes, schémas, preuves, sémantique, Dunos, Paris, 1978. | Zbl | MR
11. et , On the Formal Definition of PL/1, Annual review in automatic programming, 1969, p. 105-182. | Zbl
12. et , Statistical Treatment of Protein Conformation, Macromolecules, vol. 9, n° 5 1976, p. 812-833.






