Efficient Constructions of Finite-State Independent Normal Pairs
Fuente:
arXiv
Salvato in:
| Autore principale: | Pulari, Subin |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
On Normality and Equidistribution for Separator Enumerators
di: Pulari, Subin
Pubblicazione: (2026)
di: Pulari, Subin
Pubblicazione: (2026)
The Agafonov and Schnorr-Stimm theorems for probabilistic automata
di: Bienvenu, Laurent, et al.
Pubblicazione: (2025)
di: Bienvenu, Laurent, et al.
Pubblicazione: (2025)
Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)
di: Drewes, Frank, et al.
Pubblicazione: (2024)
Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)
Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)
di: Groz, Roland, et al.
Pubblicazione: (2026)
The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
Efficient Construction of Reachability Graphs for Petri Net Product Lines
di: Gómez-Martínez, Elena, et al.
Pubblicazione: (2026)
di: Gómez-Martínez, Elena, et al.
Pubblicazione: (2026)
GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)
Tokenization as Finite-State Transduction
di: Cognetta, Marco, et al.
Pubblicazione: (2024)
di: Cognetta, Marco, et al.
Pubblicazione: (2024)
Multihead Finite-State Compression
di: Lutz, Neil
Pubblicazione: (2025)
di: Lutz, Neil
Pubblicazione: (2025)
Approximate Problems for Finite Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)
Finite-valued Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)
Repetitive Finite Automata With Translucent Letters
di: Mráz, František, et al.
Pubblicazione: (2024)
di: Mráz, František, et al.
Pubblicazione: (2024)
Finite maximal codes and factorizations of cyclic groups
di: De Felice, Clelia
Pubblicazione: (2022)
di: De Felice, Clelia
Pubblicazione: (2022)
Descriptional Complexity of Finite Automata -- Selected Highlights
di: Salomaa, Arto, et al.
Pubblicazione: (2023)
di: Salomaa, Arto, et al.
Pubblicazione: (2023)
Measure Many Quantum Finite Automata on Infinite Words
di: Midya, Abhisek, et al.
Pubblicazione: (2026)
di: Midya, Abhisek, et al.
Pubblicazione: (2026)
The Power-Set Construction for Tree Algebras
di: Blumensath, Achim
Pubblicazione: (2022)
di: Blumensath, Achim
Pubblicazione: (2022)
A Close Analysis of the Subset Construction
di: Baburin, Ivan, et al.
Pubblicazione: (2024)
di: Baburin, Ivan, et al.
Pubblicazione: (2024)
Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
Optimal Approximate Minimization of One-Letter Weighted Finite Automata
di: Lacroce, Clara, et al.
Pubblicazione: (2023)
di: Lacroce, Clara, et al.
Pubblicazione: (2023)
Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
di: Kostolányi, Peter, et al.
Pubblicazione: (2026)
di: Kostolányi, Peter, et al.
Pubblicazione: (2026)
Mata, a Fast and Simple Finite Automata Library (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2023)
di: Chocholatý, David, et al.
Pubblicazione: (2023)
Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
di: Kuriyama, Takayuki
Pubblicazione: (2014)
di: Kuriyama, Takayuki
Pubblicazione: (2014)
Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
di: Beldiceanu, Nicolas
Pubblicazione: (2025)
di: Beldiceanu, Nicolas
Pubblicazione: (2025)
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
di: Angluin, Dana, et al.
Pubblicazione: (2022)
di: Angluin, Dana, et al.
Pubblicazione: (2022)
Constructing Deterministic Parity Automata from Positive and Negative Examples
di: Bohn, León, et al.
Pubblicazione: (2023)
di: Bohn, León, et al.
Pubblicazione: (2023)
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
di: Prabhu, Shreekanth M, et al.
Pubblicazione: (2023)
di: Prabhu, Shreekanth M, et al.
Pubblicazione: (2023)
Operational State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)
Waiting Nets: State Classes and Taxonomy
di: Hélouët, Loïc, et al.
Pubblicazione: (2022)
di: Hélouët, Loïc, et al.
Pubblicazione: (2022)
On the Representation and State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)
Modular Decomposition of Hierarchical Finite State Machines
di: Biggar, Oliver, et al.
Pubblicazione: (2021)
di: Biggar, Oliver, et al.
Pubblicazione: (2021)
Exact Accepting-State Spectrum for Reversal of Permutation Automata
di: German, Samuel
Pubblicazione: (2026)
di: German, Samuel
Pubblicazione: (2026)
Languages of Boundedly-Ambiguous Vector Addition Systems with States
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)
Efficient Learning of Weak Deterministic Büchi Automata
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)
Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs
di: Ajdarów, Michal
Pubblicazione: (2025)
di: Ajdarów, Michal
Pubblicazione: (2025)
State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)
di: Gao, Chao, et al.
Pubblicazione: (2024)
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
di: Acharya, Rohan, et al.
Pubblicazione: (2024)
di: Acharya, Rohan, et al.
Pubblicazione: (2024)
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
di: Kiefer, Stefan, et al.
Pubblicazione: (2019)
di: Kiefer, Stefan, et al.
Pubblicazione: (2019)
On Constructing Finite Automata by Relational Programming
di: Egri-Nagy, Attila, et al.
Pubblicazione: (2025)
di: Egri-Nagy, Attila, et al.
Pubblicazione: (2025)
Documenti analoghi
-
On Normality and Equidistribution for Separator Enumerators
di: Pulari, Subin
Pubblicazione: (2026) -
The Agafonov and Schnorr-Stimm theorems for probabilistic automata
di: Bienvenu, Laurent, et al.
Pubblicazione: (2025) -
Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024) -
Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026) -
Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)