Average State Complexity of Partial Derivative Automata for Synchronised Shuffles
Abstract
Synchronised shuffle operators allow to specify symbols on which the operands must or can synchronise instead of interleave. Recently, partial derivative and position based automata for regular expressions with synchronised shuffle operators were introduced. In this paper, using the framework of analytic combinatorics, we study the asymptotic average state complexity of partial derivative automata for regular expressions with strongly and arbitrarily synchronised shuffles. The new results extend and improve the ones previously obtained for regular expressions with shuffle and intersection, as these operations can be seen as special cases of synchronised shuffles. For intersection, asymptotically the average state complexity of the partial derivative automaton is [Formula: see text], which significantly improves the known exponential upper-bound.
Fields of Study & Subjects
semigroups and automata theory
Formal Methods in Verification
Machine Learning and Algorithms
Publication details
- Journal / source
- International Journal of Foundations of Computer Science
- Publisher
- World Scientific Pub Co Pte Ltd
- Volume
- 37
- Issue
- 01
- Pages
- 269–289
- Publication date
- 1 January 2026
- Language
- EN