Cover Image

A Finite-State Symbolic Automaton Model for the Collatz Map and Its Convergence Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Brauer, Leonard Ben Aurel
Format:	Preprint
Published:	2025
Subjects:	General Mathematics Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modular Decomposition of Hierarchical Finite State Machines
by: Biggar, Oliver, et al.
Published: (2021)

A New Notion of Regularity: Finite State Automata Accepting Graphs
by: Meeres, Yvo Ad
Published: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
by: Kan, Shuanglong, et al.
Published: (2025)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory
by: Dhayalkar, Sahil Rajesh
Published: (2025)

Complexity of Fungal Automaton Prediction
by: Formenti, Enrico, et al.
Published: (2026)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
by: Wei, Zhenghao, et al.
Published: (2024)

Finite-State Automaton To/From Regular Expression Visualization
by: Morazán, Marco T., et al.
Published: (2024)

Active Inference of Extended Finite State Machine Models with Registers and Guards
by: Groz, Roland, et al.
Published: (2026)

Fast and General Automatic Differentiation for Finite-State Methods
by: Yang, Lucas Ondel, et al.
Published: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
by: Pulari, Subin
Published: (2026)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
by: Akshay, S, et al.
Published: (2023)

The Queue Automaton Revisited
by: Baeten, Jos C. M., et al.
Published: (2025)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton
by: Rote, Günter
Published: (2024)

Active Learning of Symbolic Mealy Automata
by: Irie, Kengo, et al.
Published: (2025)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
by: Shallit, Jeffrey
Published: (2023)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
by: Haneef, Farah
Published: (2024)

Reflexive Composition of Elementary State Machines, with an Application to the Reversal of Cellular Automata Rule 90
by: Salzberg, Chris, et al.
Published: (2025)

Decidability and Characterization of Expansivity for Group Cellular Automata
by: Castronuovo, Niccolo', et al.
Published: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
by: J., Baby C., et al.
Published: (2026)

Persistent Permutability in Choice Petri Nets
by: Best, Eike, et al.
Published: (2026)

Counting Polyominoes in a Rectangle b x h
by: Marin, Louis
Published: (2024)

Differential Tree Automata
by: Manssour, Rida Ait El, et al.
Published: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
by: Akiyama, Shigeki, et al.
Published: (2024)

State Complexity of Shifts of the Fibonacci Word
by: Moradi, Delaram, et al.
Published: (2026)

Tokenization as Finite-State Transduction
by: Cognetta, Marco, et al.
Published: (2024)

Multihead Finite-State Compression
by: Lutz, Neil
Published: (2025)

Approximate Problems for Finite Transducers
by: Filiot, Emmanuel, et al.
Published: (2025)

Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)

Finite-valued Streaming String Transducers
by: Filiot, Emmanuel, et al.
Published: (2024)

Repetitive Finite Automata With Translucent Letters
by: Mráz, František, et al.
Published: (2024)

Probabilistic Finite Automaton Emptiness is undecidable
by: Rote, Günter
Published: (2024)

Finite maximal codes and factorizations of cyclic groups
by: De Felice, Clelia
Published: (2022)

Descriptional Complexity of Finite Automata -- Selected Highlights
by: Salomaa, Arto, et al.
Published: (2023)

Measure Many Quantum Finite Automata on Infinite Words
by: Midya, Abhisek, et al.
Published: (2026)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
by: Lacroce, Clara, et al.
Published: (2023)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
by: Carette, Titouan, et al.
Published: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
by: De Rosa, Mattia, et al.
Published: (2025)