Unrestricted State Complexity of Binary Operations on Regular Languages

I study the state complexity of binary operations on regular languages over different alphabets. It is well known that if $L'_m$ and $L_n$ are languages restricted to be over the same alphabet, with $m$ and $n$ quotients, respectively, the state complexity of any binary boolean operation on $L'_m$ and $L_n$ is $mn$, and that of the product (concatenation) is $(m-1)2^n +2^{n-1}$. In contrast to this, I show that if $L'_m$ and $L_n$ are over their own different alphabets, the state complexity of union and symmetric difference is $mn+m+n+1$, that of intersection is $mn$, that of difference is $mn+m$, and that of the product is $m2^n+2^{n-1}$.

[1]  Nelma Moreira,et al.  Incomplete operational transition complexity of regular languages , 2015, Inf. Comput..

[2]  Janusz A. Brzozowski,et al.  Theory of Átomata , 2011, Developments in Language Theory.

[3]  Janusz A. Brzozowski Quotient Complexity of Regular Languages , 2010, J. Autom. Lang. Comb..

[4]  Nelma Moreira,et al.  Symmetric Groups and Quotient Complexity of Boolean Operations , 2014, ICALP.

[5]  Szabolcs Iván Complexity of atoms, combinatorially , 2016, Inf. Process. Lett..

[6]  Janusz A. Brzozowski,et al.  Complexity of atoms of Regular Languages , 2013, Int. J. Found. Comput. Sci..

[7]  Yuan Gao,et al.  Transition Complexity of Incomplete DFAs , 2010, Fundam. Informaticae.

[8]  Sheng Yu,et al.  State Complexity of Regular Languages , 2001, J. Autom. Lang. Comb..

[9]  Sheng Yu,et al.  The State Complexities of Some Basic Operations on Regular Languages , 1994, Theor. Comput. Sci..

[10]  Janusz A. Brzozowski In Search of Most Complex Regular Languages , 2013, Int. J. Found. Comput. Sci..