@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://archive.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://archive.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, Tome 17 (1983) no. 4, pp. 343-364. http://archive.numdam.org/item/ITA_1983__17_4_343_0/
1. The Theory of Parsing, Translation and Compiling, p. 103-124, Prentice Hall, 1972. | MR
et ,2. 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
et coll.,3. 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.
, , , et ,4. The Algebric Theory of Context free Languages, North Holland, Amsterdam, 1963. | MR
et ,5. Research of Specific Contraints in Pair Association of Amino-acids, Biochimie, 56, 1974, p. 1045-1051.
et ,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. | MR | Zbl
,9. Attributed Translations, A.C.M. Symposium on Theory of Computing, 1973, p. 160-171. | MR | Zbl
, et ,10. Theorie des programmes, schémas, preuves, sémantique, Dunos, Paris, 1978. | MR | Zbl
,11. On the Formal Definition of PL/1, Annual review in automatic programming, 1969, p. 105-182. | Zbl
et ,12. Statistical Treatment of Protein Conformation, Macromolecules, vol. 9, n° 5 1976, p. 812-833.
et ,