Models of a K-rational identity system

DOI10.1016/0022-0000(92)90033-FMaRDI QIDQ1201883zbMATH OpenOpenAlexFDO

Authors Daniel Krob

Publication date 17 January 1993

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(92)90033-f

zbMATH Keywords

positive semiringrational expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Review text

The author studies the algebra of rational expressions over a positive semiring. Interpretation and substitution are defined. Using the concept of model, he is able to show that every complete system of \(K\)-rational identities must be infinite, extending a result of Conway for \(K\) = the boolean semiring.

Recommendations

• scientific article; zbMATH DE number 18591
• Matrix versions of aperiodic K-rational identities
• Complete systems of \(\mathcal B\)-rational identities
• scientific article; zbMATH DE number 41838
• DIFFERENTIATION OF K-RATIONAL EXPRESSIONS

Cites work

• Complete systems of \(\mathcal B\)-rational identities
• scientific article; zbMATH DE number 4014944 (Why is no real title available?)
• scientific article; zbMATH DE number 3871511 (Why is no real title available?)
• scientific article; zbMATH DE number 3915644 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 18591 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3537632 (Why is no real title available?)
• scientific article; zbMATH DE number 3334182 (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)

Cited in

(10)

• Complete systems of \(\mathcal B\)-rational identities
• On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based
• The equational logic of fixed points
• Derivatives of rational expressions and related theorems.
• Axiomatizing rational power series over natural numbers
• Inductive semimodules and the vector modules over them.
• scientific article; zbMATH DE number 18591 (Why is no real title available?)
• Matrix versions of aperiodic K-rational identities
• scientific article; zbMATH DE number 177804 (Why is no real title available?)
• On embedding in complete semirings

This page was built for publication: Models of a \(K\)-rational identity system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1201883)