We contribute new facets to the discussion on the equivalence problem for E-pattern languages (also referred to as extended or erasing pattern languages). This fundamental open question asks for the existence of a computable function that, given any pair of patterns, decides whether or not they generate the same language. Our main result disproves Ohlebusch and Ukkonen's conjecture (Theoretical Computer Science 186, 1997) on the equivalence problem; the respective argumentation, that largely deals with the nondeterminism of pattern languages, is restricted to terminal alphabets with at most four distinct letters. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Reidenbach, D. (2004). On the equivalence problem for E-pattern languages over small alphabets. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3340, 368–380. https://doi.org/10.1007/978-3-540-30550-7_31
Mendeley helps you to discover research relevant for your work.