A Decision Method for the Unambiguity of Sets Defined by Number Systems

Juha Honkala (Department of Mathematics, University of Turku, Finland)

Abstract: We show that it is decidable, given a number system N, whether or not there is an unambiguous number system equivalent to N.

Categories: F.4.3