Remarks on Separating Words
- Cite this paper as:
- Demaine E.D., Eisenstat S., Shallit J., Wilson D.A. (2011) Remarks on Separating Words. In: Holzer M., Kutrib M., Pighizzini G. (eds) Descriptional Complexity of Formal Systems. DCFS 2011. Lecture Notes in Computer Science, vol 6808. Springer, Berlin, Heidelberg
The separating words problem asks for the size of the smallest DFA needed to distinguish between two words of length ≤ n (by accepting one and rejecting the other). In this paper we survey what is known and unknown about the problem, consider some variations, and prove several new results.
Unable to display preview. Download preview PDF.