On the equivalence problem for E-pattern languages

Theoretical Computer Science

Volumn 186, Issue 1-2, 1997, Pages 231-248

  Ohlebusch, Enno ^a   Ukkonen, Esko ^b  

^a BIELEFELD UNIVERSITY   (Germany)

^b UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; PROGRAMMING THEORY;

ERASING/NONERASING PATTERN LANGUAGE;

FORMAL LANGUAGES;

EID: 0031251093     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00289-7     Document Type: Article

References (11)

1. D. Angluin, Finding patterns common to a set of strings, J. Comput. System Sci. 21 (1980) 46-62.
2. D. Angluin, Inductive inference of formal languages from positive data, Inform. and Control 45 (1980) 117-135.
3. G. Dányi and Z. Fülöp, A note on the equivalence problem of E-patterns, Inform. Processing Lett. 57 (1996) 125-128.
4. O. Ibarra and T. Jiang, Learning regular languages from counterexamples, J. Comput. System Sci. 43 (1991) 299-316.
5. T. Jiang, E. Kinber, A. Salomaa, K. Salomaa and S. Yu, Pattern languages with and without erasing, Internat. J. Comput. Math. 50 (1994) 147-163.
6. T. Jiang, A. Salomaa, K. Salomaa and S. Yu, Decision problems for patterns, J. Comput. System Sci. 50 (1995) 53-63.
7. P. Kilpeläinen, H. Mannila and E. Ukkonen, MDL learning of unions of simple pattern languages from positive examples, in: Proc. 2nd European Conf. on Computational Learning Theory, Lecture Notes in Computer Science, Vol. 904 (Springer, Berlin, 1995) 252-260.
8. A. Mateescu and A. Salomaa, Nondeterminism in patterns, in: Proc. 11th Ann. Symp. on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Vol. 775 (Springer, Berlin, 1994) 661-668.
9. E. Ohlebusch and E. Ukkonen, On the the equivalence problem for E-pattern languages (Extended Abstract), in: Proc. 21st Internat. Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 1113 (1996) 457-468.
10. A. Salomaa, Patterns, Bull. European Assoc. Theoret. Comput. Sci. 54 (1994) 194-206.
11. A. Salomaa, Return to patterns, Bull. European Assoc. Theoret. Comput. Sci. 55 (1995) 144-155.