Unrestricted State Complexity of Binary Operations on Regular Languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Unrestricted State Complexity of Binary Operations on Regular Languages

Janusz Brzozowski
  • Fonction : Auteur
  • PersonId : 1022710

Résumé

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+1$$, that of difference is $$mn+m+1$$, and that of the product is $$m2^n+2^{n-1}$$.
Fichier principal
Vignette du fichier
416473_1_En_5_Chapter.pdf (187.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01633951 , version 1 (13-11-2017)

Licence

Paternité

Identifiants

Citer

Janusz Brzozowski. Unrestricted State Complexity of Binary Operations on Regular Languages. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.60-72, ⟨10.1007/978-3-319-41114-9_5⟩. ⟨hal-01633951⟩
53 Consultations
55 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More