Bad news on decision problems for patterns

Information and Computation

Volumn 208, Issue 1, 2010, Pages 83-96

  Freydenberger, Dominik D ^a   Reidenbach, Daniel ^b  

^a GOETHE UNIVERSITY   (Germany)

^b LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROBLEMS; DECISION PROCEDURE; EQUIVALENCE PROBLEM; INCLUSION PROBLEM; PATTERN LANGUAGES; SYSTEM SCIENCE;

EQUIVALENCE CLASSES;

LINGUISTICS;

EID: 70350704645     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2009.04.002     Document Type: Article

References (26)

1. Angluin D. Finding patterns common to a set of strings. Journal of Computer and System Sciences 21 (1980) 46-62
2. Angluin D. Inductive inference of formal languages from positive data. Information and Control 45 (1980) 117-135
3. Câmpeanu C., Salomaa K., and Yu S. A formal study of practical regular expressions. International Journal of Foundations of Computer Science 14 (2003) 1007-1018
4. Dányi G., and Fülöp Z. A note on the equivalence problem of E-patterns. Information Processing Letters 57 (1996) 125-128
5. G. Filè, The relation of two patterns with comparable language, in: Proceedings of the Fifth Annual Symposium on Theoretical Aspects of Computer Science, STACS 1988, vol. 294 of Lecture Notes in Computer Science, 1988, pp. 184-192.
6. D. Freydenberger, D. Reidenbach, Bad news on decision problems for patterns, in: Proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, vol. 5257 of Lecture Notes in Computer Science, 2008, pp. 327-338.
7. Freydenberger D., Reidenbach D., and Schneider J. Unambiguous morphic images of strings. International Journal of Foundations of Computer Science 17 (2006) 601-628
8. Ibarra O. Reversal-bounded multicounter machines and their decision problems. Journal of the ACM 25 (1978) 116-133
9. Jiang T., Kinber E., Salomaa A., Salomaa K., and Yu S. Pattern languages with and without erasing. International Journal of Computer Mathematics 50 (1994) 147-163
10. Jiang T., Salomaa A., Salomaa K., and Yu S. Decision problems for patterns. Journal of Computer and System Sciences 50 (1995) 53-63
11. Karhumäki J., Mignosi F., and Plandowski W. The expressibility of languages and relations by word equations. Journal of the ACM 47 (2000) 483-505
12. W. Luo, Compute inclusion depth of a pattern, in: Proceedings of the 18th Annual Conference on Learning Theory, COLT 2005, vol. 3559 of Lecture Notes in Artificial Intelligence, 2005, pp. 689-690.
13. Mateescu A., and Salomaa A. Finite degrees of ambiguity in pattern languages. RAIRO Informatique Théoretique et Applications 28 (1994) 233-253
14. Mateescu A., and Salomaa A. Patterns. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages vol. 1 (1997), Springer 230-242 (Chapter 4.6)
15. Minsky M. Recursive unsolvability of Post's problem of "Tag" and other topics in theory of Turing machines. Annals of Mathematics 74 (1961) 437-455
16. Y. Mukouchi, Characterization of pattern languages, in: Proceedings of the Second International Workshop on Algorithmic Learning Theory, ALT 1991, 1991, pp. 93-104.
17. Ng Y., and Shinohara T. Developments from enquiries into the learnability of the pattern languages from positive data. Theoretical Computer Science 397 (2008) 150-165
18. Ohlebusch E., and Ukkonen E. On the equivalence problem for E-pattern languages. Theoretical Computer Science 186 (1997) 231-248
19. Reidenbach D. The Ambiguity of Morphisms in Free Monoids and its Impact on Algorithmic Properties of Pattern Languages (2006), Logos Verlag, Berlin
20. Reidenbach D. A non-learnable class of E-pattern languages. Theoretical Computer Science 350 (2006) 91-102
21. Reidenbach D. An examination of Ohlebusch and Ukkonen's conjecture on the equivalence problem for E-pattern languages. Journal of Automata, Languages and Combinatorics 12 (2007) 407-426
22. Reidenbach D. Discontinuities in pattern inference. Theoretical Computer Science 397 (2008) 166-193
23. Rozenberg G., and Salomaa A. Handbook of Formal Languages vol. 1 (1997), Springer, Berlin
24. K. Salomaa, Patterns, in: C. Martin-Vide, V. Mitrana, G. Pǎun (Eds.), Formal Languages and Applications, No. 148 in Studies in Fuzziness and Soft Computing, Springer, 2004, pp. 367-379.
25. K. Salomaa, Patterns, Lecture, 5th Ph.D. School in Formal Languages and Applications, URV Tarragona, 2006.
26. T. Shinohara, Polynomial time inference of extended regular pattern languages, in: Proceedings of the RIMS Symposia on Software Science and Engineering, vol. 147 of Lecture Notes in Computer Science, 1982, pp. 115-127.