We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
We study the inclusion problem for pattern languages, which - due to Jiang
et al. (Journal of Computer and System Sciences 50, 1995) - is known to be
undecidable. More precisely, Jiang et al. demonstrate that there is no effective
procedure deciding the inclusion for the class of all pattern languages over all
alphabets. Most applications of pattern languages, however, consider classes
over fixed alphabets, and therefore it is practically more relevant to ask for the
existence of alphabet-specific decision procedures. Our first main result states
that, for all but very particular cases, this version of the inclusion problem is also
undecidable. The second main part of our paper disproves the prevalent conjecture
on the inclusion of so-called similar E-pattern languages, and it explains
the devastating consequences of this result for the intensive previous research
on the most prominent open decision problem for pattern languages, namely
the equivalence problem for general E-pattern languages
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.