Characterization of binary equality sets
by
Štěpán Holub
Charles University, Prague

A. Ehrenfeucht, J.Karhumäki and G. Rozenberg showed that the equality set of two injective binary morphisms is of the form either {a, b}^* or {ac^*b}^*. We showed that the latter case does not take place and thereby conclude the proof of the conjecture made by K. Culik II and J. Karhumäki. The result implies, in particular, that every binary language has a test set of cardinality at most two.

Date received: May 16, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caee-33.