On iteration semiring-semimodule pairs.
A semiring-semimodule pair \((S,V)\) is given by a semiring \((S,+,\cdot)\) and a left \(S\)-semimodule \((_SV,+)\), and \((S,V)\) is called a starsemiring-omegasemimodule pair if unary operations \(*\colon S\to S\) and \(\omega\colon S\to V\) are defined. Moreover, \(S\) is a Conway semiring if the Conway equations \((a+b)^*=(a^*b)^*a^*\) and \((ab)^*=1+a(ba)^*b\) for all \(a,b\in S\) hold, and \((S,V)\) is a Conway semiring-semimodule pair if also \((a+b)^\omega=(a^*b)^\omega+(a^*b)^*a^\omega\) and \((ab)^\omega=a(ba)^\omega\) are satisfied. Finally, a Conway-semiring semimodule pair is called an iteration semiring-semimodule pair if the star and omega group equations for each finite group are satisfied. It is shown that complete semiring-semimodule pairs as well as so-called bi-inductive semiring-semimodule pairs are natural examples of iteration semiring semimodule pairs. It is well known, that semiring-semimodule pairs \((S,V)=(Q\P,Q0)\) can also be described in terms of quemirings \((Q,\cdot,+,\P,0,1)\). Now it is proved that, if \((V,+)\) is idempotent, the Conway equations hold if and only if the quemiring \(Q\) embeds in a Conway semiring. The corresponding result is true for iteration semirings.
- Iteration Semirings
- Partial Conway and iteration semiring-semimodule pairs
- Some semiring-semimodule pairs.
- On exact sequence of semimodules over semirings.
- scientific article; zbMATH DE number 3904794
- scientific article; zbMATH DE number 797020
- Some results on semirings and semimodules.
- scientific article; zbMATH DE number 6665211
- Locally closed semirings and iteration semirings.
- scientific article; zbMATH DE number 2152873
- Locally closed semirings and iteration semirings.
- Locally closed semirings
- Equational theories for automata
- Inductive semimodules and the vector modules over them.
- Fuzzy regular languages over finite and infinite words
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
- Conway and iteration hemirings. I.
- Conway and iteration hemirings. II.
- Some semiring-semimodule pairs.
- Partial Conway and iteration semiring-semimodule pairs
- Valuations of weighted automata: doing it in a rational way
- ^*-continuous Kleene -algebras
- Iteration Semirings
- On exact sequence of semimodules over semirings.
- ^*-continuous Kleene -algebras for energy problems
- Weighted linear dynamic logic
- The triple-pair construction for weighted \(\omega\)-pushdown automata
- Weighted automata and weighted logics
- Continuous semiring-semimodule pairs and mixed algebraic systems
- An $\omega$-algebra for real-time energy problems
- On context-free languages of scattered words
- scientific article; zbMATH DE number 5499328 (Why is no real title available?)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata
- Weighted Linear Dynamic Logic
- Weighted automata and weighted logics on infinite words
This page was built for publication: On iteration semiring-semimodule pairs.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2460063)
