Apart from basic topological concepts used in the last Sections 6 and 7 the paper is self-contained and provides a systematic overview on numerous important axioms for complete semirings, including illustrative examples and various new results. All semirings \((A,+,\cdot)\) have commutative addition, a zero 0 and an identity 1 and satisfy \(0a = a0 = 0\) for all \(a \in A\). Such a semiring is a complete semiring \((A,+,\cdot,\sum)\) if \(\sum_{i \in I}x_ i\) is defined for each family \((x_ i,i\in I)\) of elements of \(A\), subjected to certain axioms. The algebraic limit concept used in the paper, due to Kuich and Salomaa, consists of a pair \((D,\lim)\) where \(D\subseteq A^{\mathbb{N}}\) is a certain set of sequences and \(\lim: D\to A\) a mapping satisfying natural rules. The discrete convergence (\(D_ d,\lim_ d\)) can be defined in each semiring. It leads to the investigation of complete semirings \((A,+,\cdot,\sum)\) which are \(d\)-complete (Section 3). They are always (positively) partially ordered and \(\lim_ d\) can be defined by infinite sums if \(\sum\) is compatible with \(\lim_ d\). The more general concept of \(l\)-complete semirings \((A,+,\cdot,\sum)\), considered in Section 4, arises in order to define a notion of convergence \((D,\lim)\) by the use of \(\sum\). The next important concepts are partially ordered complete semirings \((A,+,\cdot,\leq,\sum)\) which are finitary or at least \(\omega\)-finitary. The main point is that the latter are characterized by the property, that the limit function is compatible with the partial order. An excellent figure shows all implications corresponding to the results of Sections 2-5 accompanied by a counter-example for each reverse direction. Similar figures illustrate the results of the last both sections on topological complete semirings and on idempotent and finite semirings.
- Automata and languages generalized to \(\omega\)-continuous semirings
- Fast and efficient solution of path algebra problems
- scientific article; zbMATH DE number 4014944 (Why is no real title available?)
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 4039338 (Why is no real title available?)
- scientific article; zbMATH DE number 4059631 (Why is no real title available?)
- scientific article; zbMATH DE number 49278 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3998043 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Monoides et semi-anneaux complets. (Complete monoids and semirings)
- Monoides et semi-anneaux continus. (Continuous monoids and semirings)
- Monoides et semi-anneaux continus. (Continuous monoids and semirings)
- Computing abstract decorations of parse forests using dynamic programming and algebraic power series
- On transductions of formal power series over complete semirings
- On certain closure operators defined by families of semiring morphisms
- Limits in free coproduct completions
- The chromatic Brauer category and its linear representations
- Weighted parsing for grammar-based language models over multioperator monoids
- Multisemigroups with multiplicities and complete ordered semi-rings
- Observational and behavioural equivalences for soft concurrent constraint programming
- scientific article; zbMATH DE number 4014944 (Why is no real title available?)
- Iteration Semirings
- scientific article; zbMATH DE number 724795 (Why is no real title available?)
- The algebraic equivalent of AFL theory
- On embedding in complete semirings
- scientific article; zbMATH DE number 1414289 (Why is no real title available?)
- On simpleness of semirings and complete semirings.
- Representations and complete semiring morphisms
- Sweeping permutation automata
- Constituency parsing as an instance of the M-monoid parsing problem
This page was built for publication: On limits in complete semirings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194435)
