On the Krohn-Rhodes cascaded decomposition theorem

DOI10.1007/978-3-642-13754-9_12zbMATH Open1288.68177OpenAlexW1868369947MaRDI QIDQ3587258FDOQ3587258

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

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

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finite monoids having only trivial subgroups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Title not available (Why is that?)
• A Note on Star-Free Events
• Cascade synthesis of finite-state machines
• Yet another proof of the cascade decomposition theorem for finite automata
• Is Switching Theory Mathematics or Engineering?

Cited In (16)

• Title not available (Why is that?)
• The range of state complexities of languages resulting from the cascade product -- the general case (extended abstract)
• On constructing and visualizing cascaded automata
• A simple rewrite system for the normalization of linear temporal logic
• Title not available (Why is that?)
• The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case
• On a corollary of the Krohn-Rhodes theorem
• 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 (extended abstract)
• A proof of the Krohn--Rhodes Decomposition Theorem
• Effective theories for circuits and automata
• Cascade products and Wheeler automata
• Title not available (Why is that?)
• Classifying regular languages via cascade products of automata
• The Krohn-Rhodes theorem and local divisors
• On the translation of automata to linear temporal logic

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)