On the Shuffle Automaton Size for Words
Abstract
We investigate the state size of DFAs accepting the shuffle of two words. We provide words u and v, such that the minimal DFA for u shuffled with v requires an exponential number of states. We also show some conditions for the words u and v which ensure a quadratic upper bound on the state size of u shuffled with v. Moreover, switching only two letters within one of u or v is enough to trigger the change from quadratic to exponential.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2009
- DOI:
- 10.48550/arXiv.0907.5111
- arXiv:
- arXiv:0907.5111
- Bibcode:
- 2009arXiv0907.5111B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Discrete Mathematics
- E-Print:
- EPTCS 3, 2009, pp. 79-89