An asymptotic version of Cobham’s theorem. (English) Zbl 07791434
Reviewer: Michel Rigo (Liège)
Found 131 Documents (Results 1–100)
Quantitative estimates for the size of an intersection of sparse automatic sets. (English) Zbl 07751507
MSC:
68Qxx
On interpretations of Presburger arithmetic in Büchi arithmetics. (English. Russian original) Zbl 1542.03055
Dokl. Math. 107, No. 2, 89-92 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 3-7 (2023).
Reviewer: Roger Villemaire (Montréal)
On \(k\)-regularity of sequences of valuations and last non-zero digits. (English) Zbl 1525.11011
Reviewer: Maciej Ulas (Kraków)
Rudin-Shapiro sums via automata theory and logic. (English) Zbl 07716994
Frid, Anna (ed.) et al., Combinatorics on words. 14th international conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13899, 233-246 (2023).
MSC:
68R15
Addition machines, automatic functions and open problems of Floyd and Knuth. (English) Zbl 07695013
MSC:
68-XX
A strong version of Cobham’s theorem. (English) Zbl 07774408
Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 1172-1179 (2022).
MSC:
68Qxx
Quotients of palindromic and antipalindromic numbers. (English) Zbl 1507.11007
Reviewer: Thomas Stoll (Vandœuvre-lès Nancy)
Automata and finite order elements in the Nottingham group. (English) Zbl 1503.11063
Reviewer: Thomas B. Ward (Durham)
How to prove that a sequence is not automatic. (English) Zbl 1497.11063
Reviewer: Michel Rigo (Liège)
MSC:
11B85
Multiplicative automatic sequences. (English) Zbl 1497.11064
Reviewer: Thomas B. Ward (Newcastle)
Regular sequences and synchronized sequences in abstract numeration systems. (English) Zbl 1541.11028
Reviewer: Anna Frid (Marseille)
Support of an algebraic series as the range of a recursive sequence. (English) Zbl 1498.11082
Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 437-449 (2021).
Substitutive systems and a finitary version of Cobham’s theorem. (English) Zbl 1499.11157
Reviewer: John H. Loxton (Greenwich)
The entropy and Hausdorff dimension of self-similar sets. (English) Zbl 1478.28008
Reviewer: Jörg Neunhäuserer (Goslar)
Theories of real addition with and without a predicate for integers. (English) Zbl 1535.03054
MSC:
03B25
A more reasonable proof of Cobham’s theorem. (English) Zbl 1484.11092
Reviewer: Wolfgang Steiner (Paris)
Ostrowski-automatic sequences: theory and applications. (English) Zbl 1467.68146
Reviewer: Michel Rigo (Liège)
Unary prime languages. (English) Zbl 07559422
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 51, 12 p. (2020).
MSC:
68Qxx
From combinatorial games to shape-symmetric morphisms. (English) Zbl 1457.91116
Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020).
Automata methods in transcendence. (English) Zbl 1441.11052
Böckle, Gebhard (ed.) et al., \(t\)-motives: Hodge structures, transcendence and other motivic aspects. EMS Series of Congress Reports. Zürich: European Mathematical Society (EMS). 351-372 (2020).
\(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\). (English) Zbl 1484.03016
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 128-140 (2020).
MSC:
03B25
Topological conjugacy for the Morse minimal system: an example. (English) Zbl 1455.37016
Reviewer: Alexei Kanel-Belov (Ramat-Gan)
State complexity of the multiples of the Thue-Morse set. (English) Zbl 1543.68165
Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34-49 (2019).
Sum of digits and change of base. (Somme des chiffres et changement de base.) (French. English summary) Zbl 1455.11018
Reviewer: Wolfgang Steiner (Paris)
Consistent systems of linear differential and difference equations. (English) Zbl 1425.39003
Reviewer: Rodica Luca (Iaşi)
An efficient algorithm to decide periodicity of \(b\)-recognisable sets using LSDF convention. (English) Zbl 1437.68102
A sufficient condition for \(\theta^{N}_N\) to have a distribution modulo one, when \(\theta\) is in \(\mathbb F_2(X)\). (English) Zbl 1456.11134
Reviewer: Mehdi Hassani (Zanjan)
MSC:
11K06
First-order logic and numeration systems. (English) Zbl 1486.03055
Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser. Trends Math., 89-141 (2018).
Number theoretic aspects of regular sequences. (English) Zbl 1423.11063
Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser. Trends Math., 37-87 (2018).
Mock characters and the Kronecker symbol. (English) Zbl 1448.11062
Reviewer: Luis Gallardo (Brest)
On multiplicative independent bases for canonical number systems in cyclotomic number fields. (English) Zbl 1427.11115
Elsholtz, Christian (ed.) et al., Number theory – Diophantine problems, uniform distribution and applications. Festschrift in honour of Robert F. Tichy’s 60th birthday. Cham: Springer. 313-332 (2017).
Semiautomatic structures. (English) Zbl 1420.03072
Büchi automata recognizing sets of reals definable in first-order logic with addition and order. (English) Zbl 1485.03143
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 440-454 (2017).
MSC:
03D05
On automatic subsets of the Gaussian integers. (English) Zbl 1366.11056
Reviewer: Jeffrey Shallit (Waterloo)
Subword complexity and non-automaticity of certain completely multiplicative functions. (English) Zbl 1392.11016
Is the full susceptibility of the square-lattice Ising model a differentially algebraic function? (English) Zbl 1360.82023
Asymptotic properties of free monoid morphisms. (English) Zbl 1341.68142
Reviewer: Anton Cerny (Safat)
Regularity preserving but not reflecting encodings. (English) Zbl 1394.68210
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 535-546 (2015).
Thue, combinatorics on words, and conjectures inspired by the Thue-Morse sequence. (English. French summary) Zbl 1395.11039
Presburger arithmetic, rational generating functions, and quasi-polynomials. (English) Zbl 1353.03074
An analogue of Cobham’s theorem for graph directed iterated function systems. (English) Zbl 1332.28013
Reviewer: Peter Massopust (München)
Life and mathematics of Alfred Jacobus van der Poorten (1942–2010). (English) Zbl 1275.01012
Borwein, Jonathan M. (ed.) et al., Number theory and related fields. In memory of Alf van der Poorten. Based on the proceedings of the international number theory conference, Newcastle, Australia, March 12–16, 2012. New York, NY: Springer (ISBN 978-1-4614-6641-3/hbk; 978-1-4614-6642-0/ebook). Springer Proceedings in Mathematics & Statistics 43, 1-53 (2013).
Automatic sequences and zip-specifications. (English) Zbl 1361.68155
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 335-344 (2012).
Multi-dimensional sets recognizable in all abstract numeration systems. (English) Zbl 1254.68132
Reviewer: Michel Rigo (Liège)
MSC:
68Q45
Hartmanis-Stearns conjecture on real time and transcendence. (English) Zbl 1353.03052
Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 105-119 (2012).
MSC:
03D78
On vanishing coefficients of algebraic power series over fields of positive characteristic. (English) Zbl 1257.11027
Reviewer: Jan-Hendrik Evertse (Leiden)
Logical characterization of recognizable sets of polynomials over a finite field. (English) Zbl 1252.03022
An analogue of Cobham’s theorem for fractals. (English) Zbl 1229.28007
Reviewer: Stéphane Seuret (Creteil)
Properties and limits of recognition of sets of integers by countable automata. (Propriétés et limites de la reconnaissance d’ensembles d’entiers par automates dénombrables.) (English. French summary) Zbl 1211.68231
MSC:
68Q45
Cobham’s theorem and its extensions. (English) Zbl 1451.11018
MSC:
11B85
A decision problem for ultimately periodic sets in nonstandard numeration systems. (English) Zbl 1194.68131
On the recognizability of self-generating sets. (English) Zbl 1250.68164
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 525-536 (2009).
MSC:
68Q45
A generalization of Semenov’s theorem to automata over real numbers. (English) Zbl 1250.03061
Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 469-484 (2009).
Self-similar tiling systems, topological factors and stretching factors. (English) Zbl 1168.52016
Reviewer: Milica Stojanović (Beograd)
MSC:
52C22
A decision problem for ultimately periodic sets in non-standard numeration systems. (English) Zbl 1173.68548
Ochmański, Edward (ed.) et al., Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85237-7/pbk). Lecture Notes in Computer Science 5162, 241-252 (2008).
On the sets of real numbers recognized by finite automata in multiple bases. (English) Zbl 1155.03308
Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 112-123 (2008).
Function fields in positive characteristic: expansions and Cobham’s theorem. (English) Zbl 1151.11060
Reviewer: Ali Benhissi (Monastir)
Syntactical and automatic properties of sets of polynomials over finite fields. (English) Zbl 1140.11059
Reviewer: Jean-Paul Allouche (Orsay)
MSC:
11T06
On the context-freeness of the set of words containing overlaps. (English) Zbl 1184.68330
MSC:
68Q45
Hybrid quasicrystals, transport and localization in products of minimal sets. (English) Zbl 1118.82047
Arithmetics properties of substitutions and infinite automata. (Propriétés arithmétiques des substitutions et automates infinis.) (French. English summary) Zbl 1147.11016
Reviewer: Olaf Ninnemann (Berlin)
Dynamical directions in numeration. (English) Zbl 1138.37005
Reviewer: Olaf Ninnemann (Berlin)
Automata and algebraicity. (Automates et algébricités.) (French) Zbl 1119.11020
Reviewer: Thomas Ward (Norwich)
Papers presented at the conference ‘XXIIIrd Journées Arithmétiques’, Graz, Austria, July 6–12, 2003. (English) Zbl 1071.11003
It is decidable whether the image of an \(\mathbb N\)-rational sequence has a base. (English) Zbl 1074.11017
Reviewer: Jean-Paul Allouche (Orsay)
The definable criterion for definability in Presburger arithmetic and its applications. (English) Zbl 1052.68079
On multiplicatively dependent linear numeration systems, and periodic points. (English) Zbl 1044.11004
Reviewer: Jean-Paul Allouche (Orsay)
Invertible substitutions and local isomorphisms. (English. Abridged French version) Zbl 0996.68148
Self-similar structure of rescaled evolution sets of cellular automata. II. (English) Zbl 1090.37505
Numeration systems on a regular language: Arithmetic operations, recognizability and formal power series. (English) Zbl 0983.68101
MSC:
68Q45
A list of arithmetical structures complete with respect to the first-order definability. (English) Zbl 0971.03035
Regular maps in generalized number systems. (English) Zbl 0957.11014
Reviewer: Peter J.Grabner (Graz)
An extension of the Cobham-Semënov theorem. (English) Zbl 0958.03025
Reviewer: R.Villemaire (Montréal)
Filter Results by …
Document Type
- Journal Articles (108)
- Collection Articles (23)
all
top 5
Author
- Allouche, Jean-Paul Simon (12)
- Rigo, Michel (12)
- Charlier, Emilie (11)
- Shallit, Jeffrey Outlaw (9)
- Bell, Jason P. (8)
- Boigelot, Bernard (5)
- Bès, Alexis (4)
- Cisternino, Célia (4)
- Durand, Fabien (4)
- Konieczny, Jakub (4)
- Peitgen, Heinz-Otto (4)
- Skordev, Gencho S. (4)
- Villemaire, Roger (4)
- Adamczewski, Boris (3)
- Brusten, Julien (3)
- Bruyère, Véronique (3)
- Byszewski, Jakub (3)
- Coons, Michael (3)
- Hansel, Georges (3)
- Honkala, Juha (3)
- Massuir, Adeline (3)
- Rampersad, Narad (3)
- von Haeseler, Fritz (3)
- Choffrut, Christian (2)
- Dykstra, Andrew (2)
- Endrullis, Jörg (2)
- Grabmayer, Clemens (2)
- Hare, Kevin G. (2)
- Hendriks, Dimitri (2)
- Jain, Sanjay (2)
- Krebs, Thijmen J. P. (2)
- Lacroix, Anne (2)
- Lasjaunias, Alain (2)
- LeMasurier, Michelle (2)
- Leroy, Julien (2)
- Marsault, Victor (2)
- Mendès France, Michel (2)
- Michaux, Christian (2)
- Milchior, Arthur (2)
- Rowland, Eric S. (2)
- Schaeffer, Luke (2)
- Stephan, Frank (2)
- Stipulanti, Manon (2)
- Waxweiler, Laurent (2)
- Yao, Jiayan (2)
- Abram, William C. (1)
- Albayrak, Seda (1)
- Bai, James Haoyu (1)
- Baranwal, Aseem R. (1)
- Barat, Guy (1)
- Bercoff, Christiane (1)
- Berstel, Jean (1)
- Berthé, Valérie (1)
- Biswas, Somenath (1)
- Borwein, Peter Benjamin (1)
- Bosma, Wieb (1)
- Carton, Olivier (1)
- Carvalho, Túlio O. (1)
- Cassaigne, Julien (1)
- Cateland, E. (1)
- Chan, Davy Ho-Yuen (1)
- Christol, Gilles (1)
- Cobham, Alan (1)
- Cornelissen, Gunther (1)
- Cortez, Maria Isabel (1)
- Coven, Ethan M. (1)
- de la Bretèche, Régis (1)
- de Luca, Aldo (1)
- de Oliveira, César R. (1)
- Deshouillers, Jean-Marc (1)
- Fagnot, Isabelle (1)
- Fokkink, Robbert Johan (1)
- Fraenkel, Aviezri Siegmund (1)
- Freivalds, Rūsiņš Mārtiņš (1)
- Frougny, Christiane (1)
- Gilbert, William J. (1)
- Goldmakher, Leo (1)
- Grigorieff, Serge (1)
- Guttmann, Anthony John (1)
- Hieronymi, Philipp (1)
- Hu, Yining (1)
- Jecker, Ismaël (1)
- Jensen, Iwan (1)
- Jia, Xiaodong (1)
- Kamae, Teturo (1)
- Kärki, Tomi (1)
- Khoussainov, Bakhadyr M. (1)
- Klop, Jan Willem (1)
- Korec, Ivan (1)
- Krawczyk, Elżbieta (1)
- Kupferman, Orna (1)
- Lagarias, Jeffrey C. (1)
- Latour, Louis (1)
- Le Gonidec, Marion (1)
- Lemańczyk, Mariusz (1)
- Leroux, Jérôme (1)
- Liardet, Pierre (1)
- Lipka, Eryk Tadeusz (1)
- Loxton, John H. (1)
- Madritsch, Manfred G. (1)
- and 45 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (22)
- J. Théor. Nombres Bordx. (6)
- J. Symb. Log. (4)
- Adv. Appl. Math. (4)
- Int. J. Found. Comput. Sci. (4)
- Ann. Inst. Fourier (3)
- J. Algebra (3)
- Proc. Am. Math. Soc. (3)
- Bull. Aust. Math. Soc. (2)
- Discrete Appl. Math. (2)
- Bull. Soc. Math. Fr. (2)
- J. Number Theory (2)
- Int. J. Algebra Comput. (2)
- Finite Fields Appl. (2)
- Theory Comput. Syst. (2)
- Integers (2)
- Log. Methods Comput. Sci. (2)
- Commun. Algebra (1)
- Discrete Math. (1)
- Inf. Process. Lett. (1)
- J. Stat. Phys. (1)
- Rocky Mt. J. Math. (1)
- Acta Arith. (1)
- Adv. Math. (1)
- Can. J. Math. (1)
- Invent. Math. (1)
- J. Comput. Syst. Sci. (1)
- Math. Slovaca (1)
- Math. Syst. Theory (1)
- Math. Z. (1)
- Mathematika (1)
- Sib. Math. J. (1)
- Trans. Am. Math. Soc. (1)
- Eur. J. Comb. (1)
- Combinatorica (1)
- Ann. Pure Appl. Logic (1)
- Discrete Comput. Geom. (1)
- Inf. Comput. (1)
- Sémin. Théor. Nombres Bordx., Sér. II (1)
- Int. J. Comput. Math. (1)
- Linear Algebra Appl. (1)
- Expo. Math. (1)
- RAIRO, Inform. Théor. Appl. (1)
- Indag. Math., New Ser. (1)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (1)
- Topol. Proc. (1)
- Math. Log. Q. (1)
- Electron. J. Comb. (1)
- Bull. Symb. Log. (1)
- J. Difference Equ. Appl. (1)
- Dokl. Math. (1)
- Ramanujan J. (1)
- J. Eur. Math. Soc. (JEMS) (1)
- Theor. Inform. Appl. (1)
- C. R., Math., Acad. Sci. Paris (1)
- J. Phys. A, Math. Theor. (1)
- RAIRO, Theor. Inform. Appl. (1)
- Actes Rencontres C.I.R.M. (1)
all
top 5
Year of Publication
- 2023 (6)
- 2022 (8)
- 2021 (8)
- 2020 (6)
- 2019 (4)
- 2018 (5)
- 2017 (7)
- 2016 (4)
- 2015 (5)
- 2014 (4)
- 2013 (1)
- 2012 (5)
- 2011 (2)
- 2010 (1)
- 2009 (7)
- 2008 (6)
- 2007 (3)
- 2006 (3)
- 2005 (2)
- 2004 (2)
- 2003 (3)
- 2002 (2)
- 2001 (3)
- 2000 (2)
- 1999 (1)
- 1998 (3)
- 1997 (6)
- 1996 (2)
- 1995 (3)
- 1993 (2)
- 1992 (3)
- 1991 (1)
- 1990 (2)
- 1989 (1)
- 1986 (1)
- 1984 (2)
- 1980 (2)
- 1979 (1)
- 1977 (1)
- 1972 (1)
