Derivation of Rational Expressions with Multiplicity

  • Authors:
  • Sylvain Lombardy;Jacques Sakarovitch

  • Affiliations:
  • -;-

  • Venue:
  • MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper introduces a generalization of the partial derivatives of rational expressions, due to Antimirov, to rational expressions with multiplicity. We define the derivation of a rational expression with multiplicity in such a way that the result is a polynomial of expressions. This amounts to interpreting the addition symbol at the upper level in the semiring of coefficients.Former results of Brzozowski and of Antimirov are then expressed in that framework that allows to deal with rational power series, and automata and expressions with multiplicity as well.