Advertisement

Newton Series, Coinductively

  • Henning Basold
  • Helle Hvid Hansen
  • Jean-Éric Pin
  • Jan Rutten
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9399)

Abstract

We present a comparative study of four product operators on weighted languages: (i) the convolution, (ii) the shuffle, (iii) the infiltration, and (iv) the Hadamard product. Exploiting the fact that the set of weighted languages is a final coalgebra, we use coinduction to prove that an operator of the classical difference calculus, the Newton transform, generalises (from infinite sequences) to weighted languages. We show that the Newton transform is an isomorphism of rings that transforms the Hadamard product of two weighted languages into their infiltration product, and we develop various representations for the Newton transform of a language, together with concrete calculation rules for computing them.

Keywords

Product Operator Convolution Product Closed Formula Hadamard Product Binomial Coefficient 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgments

We thank the anonymous referees for their constructive comments.

References

  1. 1.
    Barbosa, L.: Components as coalgebras. Ph.D. thesis, Universidade do Minho, Braga, Portugal (2001)Google Scholar
  2. 2.
    Bergstra, J., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1), 109–137 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monographs on Theoretical Computer Science, vol. 12. Springer, Heidelberg (1988)CrossRefzbMATHGoogle Scholar
  4. 4.
    Bonchi, F., Pous, D.: Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2), 87–95 (2015)CrossRefGoogle Scholar
  5. 5.
    Burns, S.A., Palmore, J.I.: The newton transform: an operational method for constructing integral of dynamical systems. Physica D Nonlinear Phenom. 37(1–3), 83–90 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Chen, K., Fox, R., Lyndon, R.: Free differential calculus, IV - the quotient groups of the lower series. Ann. Math. Second Ser. 68(1), 81–95 (1958)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Conway, J.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)zbMATHGoogle Scholar
  8. 8.
    Eilenberg, S.: Automata, Languages and Machines. Pure and Applied Mathematics, vol. A. Academic Press, London (1974)Google Scholar
  9. 9.
    Graham, R., Knuth, D., Patashnik, O.: Concrete Mathematics, 2nd edn. Addison-Wesley, Reading (1994) zbMATHGoogle Scholar
  10. 10.
    Hansen, H.H., Kupke, C., Rutten, J.: Stream differential equations: specification formats and solution methods. Report FM-1404, CWI (2014). www.cwi.nl
  11. 11.
    Lothaire, M.: Combinatorics on Words. Cambridge Mathematical Library. Cambridge University Press, Cambridge (1997) CrossRefzbMATHGoogle Scholar
  12. 12.
    Pavlovic, D., Escardó, M.: Calculus in coinductive form. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, pp. 408–417. IEEE Computer Society Press (1998)Google Scholar
  13. 13.
    Pin, J.É.: Newton’s forward difference equation for functions from words to words. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 71–82. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  14. 14.
    Pin, J.E., Silva, P.V.: A noncommutative extension of Mahler’s theorem on interpolation series. Eur. J. Comb. 36, 564–578 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Rot, J., Bonsangue, M., Rutten, J.: Coalgebraic bisimulation-Up-To. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol. 7741, pp. 369–381. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  16. 16.
    Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3–80 (2000). Fundamental StudyMathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Rutten, J.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theor. Comput. Sci. 308(1), 1–53 (2003). Fundamental StudyMathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Rutten, J.: A coinductive calculus of streams. Math. Struct. Comput. Sci. 15, 93–147 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Scheid, F.: Theory and Problems Of Numerical Analysis. Schaum’s outline series. McGraw-Hill, New York (1968) zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Henning Basold
    • 1
  • Helle Hvid Hansen
    • 2
  • Jean-Éric Pin
    • 3
  • Jan Rutten
    • 1
    • 4
  1. 1.Radboud University NijmegenNijmegenNetherlands
  2. 2.Delft University of TechnologyDelftNetherlands
  3. 3.LIAFA Université Paris VII and CNRSParisFrance
  4. 4.CWI AmsterdamAmsterdamNetherlands

Personalised recommendations