Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/3674

Title: Bad news on decision problems for patterns
Authors: Freydenberger, Dominik D.
Reidenbach, Daniel
Issue Date: 2008
Publisher: © Springer Verlag
Citation: FREYDENBERGER, D.D. and REIDENBACH, D., 2008. Bad news on decision problems for patterns. Lecture Notes in Computer Science, 5257, pp. 327-338.
Abstract: We study the inclusion problem for pattern languages, which is shown to be undecidable by Jiang et al. (J. Comput. System Sci. 50, 1995). 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.
Description: This is a journal article. It was published in Lecture Notes in Computer Science [© Springer Verlag] and the definitive version is available at: www.springerlink.com
DOI: 10.1007/978-3-540-85780-8
URI: https://dspace.lboro.ac.uk/2134/3674
ISBN: 9783540857792
ISSN: 0302-9743
1611-3349
Appears in Collections:Published Articles (Computer Science)

Files associated with this item:

File Description SizeFormat
Freydenberger_Reidenbach_DLT08_Final_Version.pdf193.45 kBAdobe PDFView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.