show/hide this revision's text 1 [made Community Wiki]

The algebraic treatment of formal language theory uses systematically semi-rings of power series.