scientific article; zbMATH DE number 3883630

MaRDI QIDQ3217622zbMATH OpenFDO

Authors Hiroyuki Izumi, Yasuyoshi Inagaki, N. Honda

Publication date 1984

zbMATH Keywords

axiom systemregular expressionsregular sets

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• A completeness theorem for Kleene algebras and the algebra of regular events
• Equational axioms for regular sets
• On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based
• A Finite Axiomatization of Nondeterministic Regular Expressions
• Completeness results for omega-regular algebras

Cited in

(7)

• A completeness theorem for Kleene algebras and the algebra of regular events
• The equational logic of fixed points
• Proof Pearl: regular expression equivalence and relation algebra
• On completeness of omega-regular algebras
• scientific article; zbMATH DE number 3919854 (Why is no real title available?)
• A Finite Axiomatization of Nondeterministic Regular Expressions
• Rewriting extended regular expressions

This page was built for publication:

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