Models of a \(K\)-rational identity system

DOI10.1016/0022-0000(92)90033-FzbMath0762.68047OpenAlexW2008482270MaRDI QIDQ1201883

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

rational expressionspositive semiring

Mathematics Subject Classification ID

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

Related Items

Axiomatizing rational power series over natural numbers, Inductive semimodules and the vector modules over them., The equational logic of fixed points, Derivatives of rational expressions and related theorems., On embedding in complete semirings, On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based

Cites Work

• Monoides et semi-anneaux complets. (Complete monoids and semirings)
• Complete systems of \(\mathcal B\)-rational identities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item