Publications
Authors:
  • Jean-Marc Champarnaud , Franck Guingne , Georges Hansel
Citation:
To appear in RAIRO-ITA
Abstract:
Cover automata for finite languages have been much studied a few years ago. It turns out that a simple
mathematical structure, namely similarity relations over a finite set of words, is underlying these studies. In
the present work, we investigate in detail for themselves the properties of these relations beyond the scope of
finite languages. New results with straightforward proofs are obtained in this generalized framework, and
previous results concerning cover automata are obtained as immediate consequences.
Year:
2004
Report number:
2004/024