On the uniqueness of shuffle on words and finite languages

  • Authors:

  • Franziska Biegler;Mark Daley;Markus Holzer;Ian McQuillan

  • Affiliations:

  • Department of Computer Science, University of Western Ontario, London, ON, N6A 5B7, Canada;Department of Computer Science, University of Western Ontario, London, ON, N6A 5B7, Canada;Institut für Informatik, Technische Universität München, Boltzmannstraβe 3, D-85748 Garching bei München, Germany;Department of Computer Science, University of Saskatchewan, Saskatoon, SK S7N 5A9, Canada

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

We investigate a special variant of the shuffle decomposition problem for regular languages; namely, when the given regular language is the shuffle of finite languages. The shuffle decomposition into finite languages is, in general, not unique. That is, there are L"1,L"2,L"3,L"4 with but {L"1,L"2}{L"3,L"4}. However, if all four languages are singletons (with at least two combined letters), it follows by a result of Berstel and Boasson [J. Berstel, L. Boasson, Shuffle factorization is unique, Theoretical Computer Science 273 (2002) 47-67] that the solution is unique; that is, {L"1,L"2}={L"3,L"4}. We further show that if L"1 and L"2 are arbitrary finite sets and L"3 and L"4 are singletons (with at least two letters in each), the solution is unique. Therefore, shuffle decomposition of words is unique not only over words, but over arbitrary sets. This is strong as we cannot let all four be arbitrary finite sets. Hopefully, the obtained results will help to better understand the very nature of the shuffle operation.