On pq-recognisable sets

MaRDI QIDQ5155673zbMATH OpenFDO

Authors Victor Marsault

Publication date 8 October 2021

Full work available at URL https://arxiv.org/abs/1801.08707, https://lmcs.episciences.org/7714

zbMATH Keywords

rational base numeration systemsfirst-order logic characterisationp/q-recognisable setsrelations realisable by automata

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Bertrand numeration systems and recognizability
• Recognizable sets of numbers in nonstandard bases
• Characterizing simpler recognizable sets of integers
• scientific article; zbMATH DE number 1929973
• Multi-dimensional sets recognizable in all abstract numeration systems

Cites work

• scientific article; zbMATH DE number 5707089 (Why is no real title available?)
• scientific article; zbMATH DE number 1223712 (Why is no real title available?)
• Abstract numeration systems
• Bertrand numeration systems and recognizability
• First-order logic and numeration systems
• Logic and \(p\)-recognizable sets of integers
• Mahler's \(Z\)-number and \(3/2\) number systems
• Number representation and finite automata
• ON INTEGER SEQUENCES GENERATED BY LINEAR MAPS
• On sets of numbers rationally represented in a rational base number system
• On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
• Patterns in rational base number systems
• Powers of rationals modulo 1 and rational base number systems
• Rational base number systems for \(p\)-adic numbers
• Trees and languages with periodic signature

Cited in

(2)

• Automatic sequences: from rational bases to trees
• An algorithm to decide whether a rational subset of \({\mathbb{N}}^ k\) is recognizable

This page was built for publication: On \(\frac{p}{q}\)-recognisable sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155673)