On the Shuffle Automaton Size for Words

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...

Full description

Bibliographic Details
Main Authors: Franziska Biegler, Mark Daley, Ian McQuillan
Format: Article
Language:English
Published: Open Publishing Association 2009-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/0907.5111v1