The Agafonov and Schnorr-Stimm theorems for probabilistic automata
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Bienvenu, Laurent, Gimbert, Hugo, Pulari, Subin |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Characterizing normality via automata and random matrix products
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2026)
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2026)
On Normality and Equidistribution for Separator Enumerators
von: Pulari, Subin
Veröffentlicht: (2026)
von: Pulari, Subin
Veröffentlicht: (2026)
Efficient Constructions of Finite-State Independent Normal Pairs
von: Pulari, Subin
Veröffentlicht: (2026)
von: Pulari, Subin
Veröffentlicht: (2026)
A Markov-Chain Characterization of Finite-State Dimension and a Generalization of Agafonov's Theorem
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2025)
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2025)
Conway's cosmological theorem and automata theory
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)
Database-assisted automata learning
von: Walinga, Hielke, et al.
Veröffentlicht: (2024)
von: Walinga, Hielke, et al.
Veröffentlicht: (2024)
Cerny type automata and rank conjecture
von: Rystsov, Igor
Veröffentlicht: (2025)
von: Rystsov, Igor
Veröffentlicht: (2025)
Deterministic Parikh automata on infinite words
von: Grobler, Mario, et al.
Veröffentlicht: (2024)
von: Grobler, Mario, et al.
Veröffentlicht: (2024)
The complexity of separability for semilinear sets and Parikh automata
von: Collins, Elias Rojas, et al.
Veröffentlicht: (2024)
von: Collins, Elias Rojas, et al.
Veröffentlicht: (2024)
Non-deterministic asynchronous automata games and their undecidability
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)
Diagnosability of labeled $\mathfrak{D_p}$ automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)
The complexity of reachability problems in strongly connected finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)
Nondeterminism makes unary 1-limited automata concise
von: Guillon, Bruno, et al.
Veröffentlicht: (2025)
von: Guillon, Bruno, et al.
Veröffentlicht: (2025)
Two-way affine automata can verify every language
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)
Soft state reduction of fuzzy automata over residuated lattices
von: Nguyen, Linh Anh, et al.
Veröffentlicht: (2025)
von: Nguyen, Linh Anh, et al.
Veröffentlicht: (2025)
Exact descriptional complexity of determinization of input-driven pushdown automata
von: Martynova, Olga
Veröffentlicht: (2024)
von: Martynova, Olga
Veröffentlicht: (2024)
Deterministic pushdown automata can compress some normal sequences
von: Carton, Olivier, et al.
Veröffentlicht: (2022)
von: Carton, Olivier, et al.
Veröffentlicht: (2022)
State estimation of timed automata under partial observation [Draft version]
von: Gao, Chao, et al.
Veröffentlicht: (2024)
von: Gao, Chao, et al.
Veröffentlicht: (2024)
Execution-time opacity problems in one-clock parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)
von: André, Étienne, et al.
Veröffentlicht: (2024)
Completeness for categories of generalized automata
von: Boccali, Guido, et al.
Veröffentlicht: (2023)
von: Boccali, Guido, et al.
Veröffentlicht: (2023)
Quantum finite automata and linear context-free languages: a decidable problem
von: Bertoni, A., et al.
Veröffentlicht: (2013)
von: Bertoni, A., et al.
Veröffentlicht: (2013)
Cluster automata
von: Kornai, András
Veröffentlicht: (2025)
von: Kornai, András
Veröffentlicht: (2025)
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)
Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
von: Ferens, Robert, et al.
Veröffentlicht: (2022)
von: Ferens, Robert, et al.
Veröffentlicht: (2022)
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)
Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)
von: Dixon, Alex, et al.
Veröffentlicht: (2023)
Multihead Finite-State Compression
von: Lutz, Neil
Veröffentlicht: (2025)
von: Lutz, Neil
Veröffentlicht: (2025)
Rauzy dimension and finite-state dimension
von: Becher, Verónica, et al.
Veröffentlicht: (2024)
von: Becher, Verónica, et al.
Veröffentlicht: (2024)
Equality of cycle lengths in one- and two-dimensional $σ$ automata
von: Vadali, Avi, et al.
Veröffentlicht: (2025)
von: Vadali, Avi, et al.
Veröffentlicht: (2025)
Idempotent cellular automata and their natural order
von: Castillo-Ramirez, Alonso, et al.
Veröffentlicht: (2024)
von: Castillo-Ramirez, Alonso, et al.
Veröffentlicht: (2024)
A study on the composition of elementary cellular automata
von: Castillo-Ramirez, Alonso, et al.
Veröffentlicht: (2023)
von: Castillo-Ramirez, Alonso, et al.
Veröffentlicht: (2023)
On the transversals of Latin squares generated by nonlinear bipermutive cellular automata
von: Dennunzio, Alberto, et al.
Veröffentlicht: (2026)
von: Dennunzio, Alberto, et al.
Veröffentlicht: (2026)
Eilenberg theorems for many-sorted formations
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2016)
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2016)
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
von: Bell, Jason P., et al.
Veröffentlicht: (2022)
von: Bell, Jason P., et al.
Veröffentlicht: (2022)
Congruence based proofs of the recognizability theorems for free many-sorted algebras
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2018)
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2018)
Entropy of pebble automata and space complexity
von: Montoya, J. Andres
Veröffentlicht: (2026)
von: Montoya, J. Andres
Veröffentlicht: (2026)
Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)
Optimal Sequential Flows
von: Gimbert, Hugo, et al.
Veröffentlicht: (2025)
von: Gimbert, Hugo, et al.
Veröffentlicht: (2025)
The Tribonacci constant and finite automata
von: Shallit, Jeffrey
Veröffentlicht: (2025)
von: Shallit, Jeffrey
Veröffentlicht: (2025)
Cellular automata can really solve the parity problem
von: Wolnik, Barbara, et al.
Veröffentlicht: (2025)
von: Wolnik, Barbara, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Characterizing normality via automata and random matrix products
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2026) -
On Normality and Equidistribution for Separator Enumerators
von: Pulari, Subin
Veröffentlicht: (2026) -
Efficient Constructions of Finite-State Independent Normal Pairs
von: Pulari, Subin
Veröffentlicht: (2026) -
A Markov-Chain Characterization of Finite-State Dimension and a Generalization of Agafonov's Theorem
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2025) -
Conway's cosmological theorem and automata theory
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)