A decision method for the recognizability of sets defined by number systems
From MaRDI portal
Recommendations
Cites work
- Ambiguity and decision problems concerning number systems
- Bases and ambiguity of number systems
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3413820 (Why is no real title available?)
- L codes and number systems
- On number systems with negative digits
Cited in
(25)- An algorithm to decide whether a rational subset of \({\mathbb{N}}^ k\) is recognizable
- On number systems with finite degree of ambiguity
- On D0L systems with immigration
- Decidability questions related to abstract numeration systems
- Minimal automaton for multiplying and translating the Thue-Morse set
- Substitutive systems and a finitary version of Cobham's theorem
- Automata and finite order elements in the Nottingham group
- Periodicity, repetitions, and orbits of an automatic sequence
- Periodicity of morphic words
- Multi-dimensional sets recognizable in all abstract numeration systems
- Automatic Theorem-Proving in Combinatorics on Words
- Büchi automata recognizing sets of reals definable in first-order logic with addition and order
- A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems
- A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS
- Cobham's Theorem seen through Büchi's Theorem
- Enumeration and decidable properties of automatic sequences
- scientific article; zbMATH DE number 7453075 (Why is no real title available?)
- Automatic sequences of rank two
- Ultimate periodicity problem for linear numeration systems
- scientific article; zbMATH DE number 7089069 (Why is no real title available?)
- Ultimate periodicity of b-recognisable sets: a quasilinear procedure
- Automatic theorem-proving in combinatorics on words
- Magic Numbers in Periodic Sequences
- On vanishing coefficients of algebraic power series over fields of positive characteristic
- Automatic maps in exotic numeration systems
This page was built for publication: A decision method for the recognizability of sets defined by number systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780465)
