The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

On the expressive power of the shuffle operator matched with intersection by regular sets

Joanna JȩdrzejowiczAndrzej Szepietowski — 2001

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We investigate the complexity of languages described by some expressions containing shuffle operator and intersection. We show that deciding whether the shuffle of two words has a nonempty intersection with a regular set (or fulfills some regular pattern) is NL-complete. Furthermore we show that the class of languages of the form L R , with a shuffle language L and a regular language R , contains non-semilinear languages and does not form a family of mildly context- sensitive languages.

On the expressive power of the shuffle operator matched with intersection by regular sets

Joanna JędrzejowiczAndrzej Szepietowski — 2010

RAIRO - Theoretical Informatics and Applications

We investigate the complexity of languages described by some expressions containing shuffle operator and intersection. We show that deciding whether the shuffle of two words has a nonempty intersection with a regular set (or fulfills some regular pattern) is NL-complete. Furthermore we show that the class of languages of the form L R , with a shuffle language and a regular language , contains non-semilinear languages and does not form a family of mildly context- sensitive languages.

Page 1

Download Results (CSV)