Kleene modules and linear languages

DOI10.1016/J.JLAP.2005.04.004MaRDI QIDQ817584zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Inductive semimodules and the vector modules over them.
• Relational and Kleene-Algebraic Methods in Computer Science
• scientific article; zbMATH DE number 408802
• On Kleene algebras
• scientific article; zbMATH DE number 4210141

Cites work

• scientific article; zbMATH DE number 3779293 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• A characterization of context-free languages
• A completeness theorem for Kleene algebras and the algebra of regular events
• Boolean modules
• Relational and Kleene-Algebraic Methods in Computer Science

Cited in

(11)

• Grammatical Inference: Algorithms and Applications
• Modal Semirings Revisited
• Hopscotch -- reaching the target hop by hop
• Middle quotients of linear languages
• Internal axioms for domain semirings
• Inductive semimodules and the vector modules over them.
• scientific article; zbMATH DE number 7362722 (Why is no real title available?)
• Modal tools for separation and refinement
• scientific article; zbMATH DE number 3926271 (Why is no real title available?)
• On \(*\)-\(\lambda\)-semirings.
• Relational and Kleene-Algebraic Methods in Computer Science

This page was built for publication: Kleene modules and linear languages

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