# Decomposing Permutation Automata

@inproceedings{Jecker2021DecomposingPA, title={Decomposing Permutation Automata}, author={Isma{\"e}l Jecker and Nicolas Mazzocchi and Petra Wolf}, booktitle={CONCUR}, year={2021} }

A deterministic finite automaton (DFA) A is composite if its language L(A) can be decomposed into an intersection ⋂k i=1 L(Ai) of languages of smaller DFAs. Otherwise, A is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and while they proved that we can decide whether a DFA is composite, the precise complexity of this problem is still open, with a doubly-exponential gap between the upper and lower bounds. In this work, we focus on permutation DFAs, i.e., those…

## References

SHOWING 1-10 OF 15 REFERENCES

Unary Prime Languages

- Computer ScienceMFCS
- 2020

It is able to characterize compositionality by structural properties of a DFA for L, leading to a LogSpace algorithm for primality checking of unary DFAs.

Decomposition of safe languages

- Amirim Research Project report from the Hebrew University
- 2018

Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog)

- Computer Science
- 2013

This book describes crucial design problems that lead to incorrect or far from optimal implementation and provides examples of finite state machines developed in both VHDL and SystemVerilog (the successor of Verilog) hardware description languages.

Ramanujan's Proof of Bertrand's Postulate

- Mathematics, Computer ScienceAm. Math. Mon.
- 2013

The revised proof of Ramanujan's proof of Bertrand's postulate is elegant and elementary so as to be accessible to a wider audience.

Reversibility of Computations in Graph-Walking Automata

- Mathematics, Computer ScienceMFCS
- 2013

It is demonstrated that every graph-walking automaton can be transformed to an equivalent reversible graph- walking automaton, so that every step of its computation is logically reversible.

Principles of model checking

- Computer Science
- 2008

Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

Apparatus and method for large hardware finite state machine with embedded equivalence classes

- 2007

Irreversibility and heat generation in the computing process

- Computer ScienceIBM J. Res. Dev.
- 2000

Two simple, but representative, models of bistable devices are subjected to a more detailed analysis of switching kinetics to yield the relationship between speed and energy dissipation, and to estimate the effects of errors induced by thermal fluctuations.

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

- Computer Science
- 1998

The Need for Compositional Proof Systems is surveyed, as well as compositional proof methods for concurrency: A semantic approach.