On the Krohn-Rhodes Cascaded Decomposition Theorem

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Essays in Memory of Amir Pnueli

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-13754-9_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Mathematical Systems Theory I

  2006cited by this paper
• Cascade Synthesis of Finite-State Machines

  2004cited by this paper
• On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic

  1994cited by this paper
• Logics of Programs

  1991cited by this paper
• Tight bounds on the complexity of cascaded decomposition of automata

  1990cited by this paper
• Varieties of Formal Languages

  1986cited by this paper
• The Glory of the Past

  1985cited by this paper
• J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979

  1980cited by this paper
• The Algebraic Theory of Automata

  1980influential reference
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• Automata, languages, and machines. A

  1974cited by this paper
• Counter-Free Automata (M.I.T. research monograph no. 65)

  1971cited by this paper
• Counter-Free Automata

  1971cited by this paper
• Theory Of Automata

  1969cited by this paper
• A Note on Star-Free Events

  1969cited by this paper
• Yet another proof of the cascade decomposition theorem for finite automata

  1967cited by this paper
• Algebraic Structure Theory Of Sequential Machines

  1966cited by this paper
• Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

  1966cited by this paper
• On Finite Monoids Having Only Trivial Subgroups

  1965cited by this paper
• Cascade synthesis of finite-state machines

  1965cited by this paper
• Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines

  1965cited by this paper

• Automata Cascades for Model Checking

  2025cites this paper
• What do language models model? Transformers, automata, and the format of thought

  2025cites this paper
• Bridging Expressivity and Scalability with Adaptive Unitary SSMs

  2025cites this paper
• On Cascades of Reset Automata

  2025influential citation
• Chain of Thought Empowers Transformers to Solve Inherently Serial Problems

  2024cites this paper
• Efficient Normalization of Linear Temporal Logic

  2023cites this paper
• Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages

  2023cites this paper
• A Simple Rewrite System for the Normalization of Linear Temporal Logic

  2023cites this paper
• On the Translation of Automata to Linear Temporal Logic

  2022cites this paper
• Transformers Learn Shortcuts to Automata

  2022cites this paper
• Back to the Future: A Fresh Look at Linear Temporal Logic

  2021cites this paper
• The Range of State Complexities of Languages Resulting from the Cascade Product - The General Case (Extended Abstract)

  2021cites this paper
• The Range of State Complexities of Languages Resulting from the Cascade Product - The Unary Case (Extended Abstract)

  2021cites this paper
• Exploring Tetris as a Transformation Semigroup

  2020cites this paper
• Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates

  2018influential citation
• State Machines for Large Scale Computer Software and Systems

  2016cites this paper
• Computational Holonomy Decomposition of Transformation Semigroups

  2015cites this paper
• Exploring the concept of interaction computing through the discrete algebraic analysis of the Belousov-Zhabotinsky reaction

  2013cites this paper
• Die Holonomie{Zerlegung von Automaten

  2012influential citation
• Algebraic Analysis of the Computation in the Belousov-Zhabotinksy Reaction

  2012cites this paper
• EVOLUTION OF COMPUTATION

  2011cites this paper
• Effective Theories for Circuits and Automata

  2011cites this paper