On the Krohn-Rhodes cascaded decomposition theorem

DOI10.1007/978-3-642-13754-9_12MaRDI QIDQ3587258zbMATH OpenOpenAlexFDO

Authors Oded Maler

Publication date 7 September 2010

Published in Time for Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13754-9_12

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• On a corollary of the Krohn-Rhodes theorem
• scientific article; zbMATH DE number 3902046
• The Krohn-Rhodes theorem and local divisors
• On calculating the Krohn-Rhodes decomposition of automata
• scientific article; zbMATH DE number 988818

Cites work

• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3223684 (Why is no real title available?)
• scientific article; zbMATH DE number 3248552 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• A Note on Star-Free Events
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Cascade synthesis of finite-state machines
• Is Switching Theory Mathematics or Engineering?
• On finite monoids having only trivial subgroups
• Yet another proof of the cascade decomposition theorem for finite automata

Cited in

(16)

• Cascade products and Wheeler automata
• scientific article; zbMATH DE number 3902046 (Why is no real title available?)
• The range of state complexities of languages resulting from the cascade product -- the general case (extended abstract)
• On constructing and visualizing cascaded automata
• Effective theories for circuits and automata
• Classifying regular languages via cascade products of automata
• scientific article; zbMATH DE number 3888919 (Why is no real title available?)
• A proof of the Krohn--Rhodes Decomposition Theorem
• On a corollary of the Krohn-Rhodes theorem
• A simple rewrite system for the normalization of linear temporal logic
• Back to the future: a fresh look at linear temporal logic
• The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case
• On the translation of automata to linear temporal logic
• The range of state complexities of languages resulting from the cascade product -- the unary case (extended abstract)
• The Krohn-Rhodes theorem and local divisors
• scientific article; zbMATH DE number 4060731 (Why is no real title available?)

This page was built for publication: On the Krohn-Rhodes cascaded decomposition theorem

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