On the Krohn-Rhodes cascaded decomposition theorem
From MaRDI portal
Publication:3587258
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
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)