Kleene modules and linear languages

DOI10.1016/j.jlap.2005.04.004zbMath1086.68075OpenAlexW2168951086MaRDI QIDQ817584

Hans Leiß

Publication date: 16 March 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.04.004

zbMATH Keywords

Kleene algebralinear languagessemiring module

Mathematics Subject Classification ID

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

Related Items

Inductive semimodules and the vector modules over them., Hopscotch -- reaching the target hop by hop, Internal axioms for domain semirings, Modal Semirings Revisited, On \(*\)-\(\lambda\)-semirings., Modal Tools for Separation and Refinement

Cites Work

• Unnamed Item
• Unnamed Item
• Boolean modules
• A completeness theorem for Kleene algebras and the algebra of regular events
• A characterization of context-free languages
• Relational and Kleene-Algebraic Methods in Computer Science