Quotient complexity of ideal languages

  • Authors:

  • Janusz Brzozowski;Galina Jirásková;Baiyu Li

  • Affiliations:

  • David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1;Mathematical Institute, Slovak Academy of Sciences, Greákova 6, 040 01 Koice, Slovakia;David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

A language L over an alphabet @S is a right (left) ideal if it satisfies L=L@S^* (L=@S^*L). It is a two-sided ideal if L=@S^*L@S^*, and an all-sided ideal if L=@S^*L, the shuffle of @S^* with L. Ideal languages are not only of interest from the theoretical point of view, but also have applications to pattern matching. We study the state complexity of common operations in the class of regular ideal languages, but prefer to use the equivalent term ''quotient complexity'', which is the number of distinct left quotients of a language. We find tight upper bounds on the complexity of each type of ideal language in terms of the complexity of an arbitrary generator and of the minimal generator, and also on the complexity of the minimal generator in terms of the complexity of the language. Moreover, tight upper bounds on the complexity of union, intersection, set difference, symmetric difference, concatenation, star, and reversal of ideal languages are derived.