Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f(0), . . . converges to the least fixed point μf . The convergence can be accelerated if the underlying semiring is commutative. We show that accelerations in the literature, namely Newton’s method for the arithmetic semiring [4] and a...

A short proof of the characterization of idempotent subreducts of semimodules over commutative semirings is presented. It says that an idempotent algebra embeds into a semimodule over a commutative semiring, if and only if it belongs to the variety of Szendrei modes.

Abstract We study permutability properties of matrix semigroups over commutative bipotent semirings (of which the best-known example is tropical semiring ). prove that every such semigroup weakly permutable (a result previous stated in literature, but with an erroneous proof) and then proceed to depth question when they are strongly (which turns out depend heavily on semiring). Along way we cla...

By recent results of M. Stronkowski, it is known that not all modes embed as subreducts into semimodules over commutative unital semirings. Related to this problem is the problem of constructing a (commutative unital) semiring defining the variety of semimodules whose idempotent subreducts lie in a given variety of modes. We provide a general construction of such semirings, along with basic exa...

We consider weighted finite transition systems (wts) with weights from commutative naturally ordered semirings. Such semirings comprise distributive lattices as well as the natural numbers with ordinary addition and multiplication, and the max-plus-semiring. For these systems we explore the concepts of covering and cascade product. We show a cascade decomposition result for such wts using speci...

Since the theory of ideals plays an important role in the theory of quotient semirings, in this paper, we will make an intensive study of the notions of Noetherian, Artinian, prime, primary, weakly primary and k-maximal ideals in commutative quotient semirings. The bulk of this paper is devoted to stating and proving analogues to several well-known theorems in the theory of the residue class ri...

We investigate the tree-series-to-tree-series (ts-ts) transformation computed by tree series transducers. Unless the used semiring is complete, this transformation is, in general, not well-defined. In practice, many used semirings are not complete (like the probability semiring). We establish a syntactical condition that guarantees well-definedness of the ts-ts transformation in arbitrary commu...