Buchumschlag

Certified Finite-State Induction for a Perturbed Hofstadter Recursion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mantovanelli, Marco
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Combinatorics Number Theory 11B37, 68Q45, 37B10, 03D25, 68Q60, 68W30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Noncommutative rational Pólya series
von: Bell, Jason, et al.
Veröffentlicht: (2019)

Asymptotic Analysis of q-Recursive Sequences
von: Heuberger, Clemens, et al.
Veröffentlicht: (2021)

A new factorization of the generalized period-doubling sequences through kernel words and gaps sequences
von: Bognini, K. Ernest, et al.
Veröffentlicht: (2025)

Automaticity of uniformly recurrent substitutive sequences
von: Krawczyk, Elżbieta, et al.
Veröffentlicht: (2021)

Dumont-Thomas complement numeration systems for $\mathbb{Z}$
von: Labbé, Sébastien, et al.
Veröffentlicht: (2023)

Multipass automata and group word problems
von: Ceccherini-Silberstein, Tullio, et al.
Veröffentlicht: (2014)

Quasi-fixed points of substitutive systems
von: Krawczyk, Elżbieta
Veröffentlicht: (2024)

Non-Robustness of the Zero-Temperature-Limit Gibbs Measures to Perturbations of the Potential
von: Gayral, Léo, et al.
Veröffentlicht: (2025)

On a Rice theorem for dynamical properties of SFTs on groups
von: Carrasco-Vargas, Nicanor
Veröffentlicht: (2024)

Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models
von: Gayral, Léo, et al.
Veröffentlicht: (2023)

Density of rational languages under shift invariant measures
von: Berthé, Valérie, et al.
Veröffentlicht: (2025)

Increasing-decreasing patterns in the iteration of an arithmetic function
von: Nathanson, Melvyn B.
Veröffentlicht: (2022)

On the growth of hypergeometric sequences
von: Kenison, George, et al.
Veröffentlicht: (2025)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

No Constant-Cost Protocol for Point--Line Incidence
von: Göös, Mika, et al.
Veröffentlicht: (2026)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

The VC-dimension of a class of multiples of the primes, and a connection to AdaBoost
von: Thomas, Andrew M.
Veröffentlicht: (2022)

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
von: Wright, Craig Steven
Veröffentlicht: (2025)

Parametrized complexity of relations between multidimensional subshifts
von: Carrasco-Vargas, Nicanor, et al.
Veröffentlicht: (2025)

Meta-automatic Sequences
von: Campbell, John M., et al.
Veröffentlicht: (2026)

Chung-Graham and Zeckendorf representations
von: Burns, Rob
Veröffentlicht: (2025)

Monochromatic arithmetic progressions in the Fibonacci, Thue-Morse, and Rudin-Shapiro words
von: Joshi, Gandhar, et al.
Veröffentlicht: (2025)

Languages given by Finite Automata over the Unary Alphabet
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2023)

Subshifts defined by nondeterministic and alternating plane-walking automata
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2024)

Multidimensional tilings and MSO logic
von: Pallen, Rémi, et al.
Veröffentlicht: (2025)

Finite and Symmetric Euler Sums and Finite and Symmetric (Alternating) Multiple $T$-Values
von: Zhao, Jianqiang
Veröffentlicht: (2024)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
von: van der Meyden, Ron
Veröffentlicht: (2025)

On the study of cellular automata on modulo-recurrent words
von: Barro, Moussa, et al.
Veröffentlicht: (2022)

Tight complexity bounds for diagram commutativity verification
von: Malko, Artem, et al.
Veröffentlicht: (2025)

An Efficient Algorithm for Generating Minimal Unique-Cause MC/DC Test cases for Singular Boolean Expressions
von: Lee, Robin, et al.
Veröffentlicht: (2025)

EQ-Robin: Constraint-Resilient Generation of Multiple Minimal Unique-Cause MC/DC Test Suites
von: Lee, Robin, et al.
Veröffentlicht: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

Analysis of multivariate symbol statistics in primitive rational models
von: Goldwurm, Massimiliano, et al.
Veröffentlicht: (2026)

Dyadic Frequency Laws, Clock Dynamics, and Defect Scaling in a Perturbed Hofstadter $Q$-Recursion
von: Mantovanelli, Marco
Veröffentlicht: (2026)

Synchronisation of running sums of automatic sequences
von: Burns, Rob
Veröffentlicht: (2024)

Implicit automata in λ-calculi III: affine planar string-to-string functions
von: Pradic, Cécilia, et al.
Veröffentlicht: (2024)

Density of group languages in shift spaces
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

Product gales and Finite state dimension
von: S, Akhil
Veröffentlicht: (2025)

Universal Analog Computation: Fraïssé Limits of Dynamical Systems
von: Hornischer, Levin
Veröffentlicht: (2025)

Elementary fractal geometry. 4. Automata-generated topological spaces
von: Bandt, Christoph
Veröffentlicht: (2023)