Minimal separators of two words

  • E. Garel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 684)


Let u and v be two distinct words on the alphabet A. Let us call sep-min(u, v) the set of minimal length elements in A* which are subwords (subsequences) of one and only one of u and v. This article aims at defining an automaton recognizing sep-min(u, v).

In the case where u = va, a ε A, the complexity in time of the algorithm for constructing the automaton is O(¦u¦CardA). In the general case, the complexity is proportional to the product of the size of the automaton by the size of the alphabet.


Algorithms Combinatorics on words Automata and Formal Languages 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    AHO, A.V. Algorithms for Finding Patterns in Strings handbook of Theorical Computer Science, Vol A (1990) 257–300.Google Scholar
  2. [2]
    EILENBERG, S., Automata, Languages and Machine, Vol A (Academic Press 1974).Google Scholar
  3. [3]
    LOTHAIRE, M., Combinatorics on words (Addison-Weysley, Reading, MA, 1983).Google Scholar
  4. [4]
    SIMON, I., An Algorithm to Distinguish Words efficiently by their Subwords, Personal Communication.Google Scholar
  5. [5]
    WATERMAN, M.S., Mathemetical Methods for DNA Sequences, (CRC Press 1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • E. Garel
    • 1
  1. 1.L.I.T.PParis Cedex 05France

Personalised recommendations