Automata for regular expressions with shuffle

作者：Broda Sabine; Machiavelo Antonio; Moreira Nelma; Reis Rogerio

来源：Information and Computation, 2018, 259: 162-173.

DOI：10.1016/j.ic.2017.08.013

• Regular expressions
• Shuffle operation
• Partial derivatives
• Finite automata
• Position automata
• Average case
• Analytic combinatorics

We generalize the partial derivative automaton and the position automaton to regular expressions with shuffle, and study their state complexity in the worst, as well as in the average case. The number of states of the partial derivative automaton (A(pd)) is, in the worst case, at most 2(m), where mis the number of letters in the expression. The asymptotic average is bounded by (4/3)(m). We define a position automaton (A(pos)) that is homogeneous, but in which several states can correspond to a same position, and we show that Apdis a quotient of A(pos). The number of states of the position automaton is at most 1 + m(2(m)-1), while the asymptotic average is no more than m(4/3)(m).

• 出版日期2018-4