scientific article
From MaRDI portal
Publication:3027187
zbMath0625.16026MaRDI QIDQ3027187
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
limitsautomatalanguagesinfinite sums\(\ell \)-complete semiringsKleene Theoremnatural convergencerationally closed semiring
Trees (05C05) Formal languages and automata (68Q45) Convergence and divergence of series and sequences (40A05) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items
Inductive \(^{*}\)-semirings ⋮ Automata and languages generalized to \(\omega\)-continuous semirings ⋮ Axiomatizing rational power series over natural numbers ⋮ Inductive semimodules and the vector modules over them. ⋮ Shuffle on trajectories: Syntactic constraints ⋮ On Lindenmayerian algebraic power series ⋮ On Lindenmayerian algebraic sequences ⋮ The equational logic of fixed points ⋮ An iteration property of Lindenmayerian power series ⋮ A Unifying Kleene Theorem for Weighted Finite Automata ⋮ Representations and complete semiring morphisms ⋮ The algebraic equivalent of AFL theory ⋮ Nivat's theorem for pushdown transducers ⋮ On transductions of formal power series over complete semirings ⋮ On limits in complete semirings ⋮ Models of a \(K\)-rational identity system ⋮ On the complexity of reasoning in Kleene algebra ⋮ The Parikh Property for Weighted Context-Free Grammars ⋮ Equational theories for automata ⋮ On D0L power series ⋮ On morphically generated formal power series ⋮ A Fully Equational Proof of Parikh's Theorem
This page was built for publication: