RAIRO - Theoretical Informatics and Applications · 1986 · 63 citations · 3 references
Natural SciencesComputer ScienceMathematicsNumber TheorySet TheoryTheory Of ComputationCombinatorial Set TheoryComputational Number TheoryNumber-theoretic AlgorithmsSet SystemsDecidabilityDecidability ProblemsEnumerabilityUndecidability
We show that it is decidable whether or not a k-recognizable set is recognizable. Consequently, it is decidable whether or not the set defined by a number System is recognizable.
3
Hermann Maurer, A. Salomaa, D. Wood · Theoretical Computer Science · 1983 · 25 citations
Bases and ambiguity of number systems
Juha Honkala · Theoretical Computer Science · 1984 · 22 citations
Ambiguity and decision problems concerning number systems
Karel Čulík, Arto Salomaa · Information and Control · 1983 · 21 citations