A Linear-time Simulation of Deterministic $d$-Limited Automata
Fuente:
arXiv
Salvato in:
| Autore principale: | Rubtsov, Alexander |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Simulation Limitations of Affine Cellular Automata
di: Hudcová, Barbora, et al.
Pubblicazione: (2023)
di: Hudcová, Barbora, et al.
Pubblicazione: (2023)
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
di: Casares, Antonio, et al.
Pubblicazione: (2024)
di: Casares, Antonio, et al.
Pubblicazione: (2024)
History-Deterministic Büchi Automata are Succinct
di: Casares, Antonio, et al.
Pubblicazione: (2026)
di: Casares, Antonio, et al.
Pubblicazione: (2026)
Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026)
di: Li, Yong, et al.
Pubblicazione: (2026)
Computational Model for Parsing Expression Grammars
di: Rubtsov, Alexander, et al.
Pubblicazione: (2024)
di: Rubtsov, Alexander, et al.
Pubblicazione: (2024)
Learning Deterministic Multi-Clock Timed Automata
di: Teng, Yu, et al.
Pubblicazione: (2024)
di: Teng, Yu, et al.
Pubblicazione: (2024)
Efficient Learning of Weak Deterministic Büchi Automata
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)
Token Games and History-Deterministic Quantitative-Automata
di: Boker, Udi, et al.
Pubblicazione: (2021)
di: Boker, Udi, et al.
Pubblicazione: (2021)
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)
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)
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
di: Lehtinen, Karoliina, et al.
Pubblicazione: (2025)
di: Lehtinen, Karoliina, et al.
Pubblicazione: (2025)
Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)
di: Akshay, S, et al.
Pubblicazione: (2022)
Mathematical Approach in Automata and Automata Association
di: Maciel, Sergio Henrique
Pubblicazione: (2020)
di: Maciel, Sergio Henrique
Pubblicazione: (2020)
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)
Inference of Deterministic Finite Automata via Q-Learning
di: Hosseinkhani, Elaheh, et al.
Pubblicazione: (2025)
di: Hosseinkhani, Elaheh, et al.
Pubblicazione: (2025)
Congruence-based Learning of Probabilistic Deterministic Finite Automata
di: Carrasco, Matías, et al.
Pubblicazione: (2024)
di: Carrasco, Matías, et al.
Pubblicazione: (2024)
Deterministic Suffix-reading Automata
di: Keerthan, R, et al.
Pubblicazione: (2024)
di: Keerthan, R, et al.
Pubblicazione: (2024)
On Shuffling and Splitting Automata
di: Cunningham, Ignacio Mollo
Pubblicazione: (2024)
di: Cunningham, Ignacio Mollo
Pubblicazione: (2024)
Explorable Parity Automata
di: Hazard, Emile, et al.
Pubblicazione: (2024)
di: Hazard, Emile, et al.
Pubblicazione: (2024)
Automata on Graph Alphabets
di: Bazille, Hugo, et al.
Pubblicazione: (2026)
di: Bazille, Hugo, et al.
Pubblicazione: (2026)
Quantitative Language Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
Asynchronism in Cellular Automata
di: Gautam, Virendra Kumar
Pubblicazione: (2025)
di: Gautam, Virendra Kumar
Pubblicazione: (2025)
Corrections to A Menagerie of Timed Automata
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2016)
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2016)
A Unifying Approach to Picture Automata
di: Meeres, Yvo Ad, et al.
Pubblicazione: (2025)
di: Meeres, Yvo Ad, et al.
Pubblicazione: (2025)
Equivalence of Deterministic Weighted Real-time One-Counter Automata
di: Mathew, Prince, et al.
Pubblicazione: (2024)
di: Mathew, Prince, et al.
Pubblicazione: (2024)
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
di: Kim, Moon, et al.
Pubblicazione: (2025)
di: Kim, Moon, et al.
Pubblicazione: (2025)
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)
Localising Stochasticity in Weighted Automata
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)
History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)
di: Erlich, Enzo, et al.
Pubblicazione: (2022)
Saturation Problems for Families of Automata
di: Bohn, León, et al.
Pubblicazione: (2025)
di: Bohn, León, et al.
Pubblicazione: (2025)
Nominal Automata with Name Deallocation
di: Prucker, Simon, et al.
Pubblicazione: (2026)
di: Prucker, Simon, et al.
Pubblicazione: (2026)
Determinism in Multi-Soliton Automata
di: Bordihn, Henning, et al.
Pubblicazione: (2024)
di: Bordihn, Henning, et al.
Pubblicazione: (2024)
Safety and Liveness of Quantitative Properties and Automata
di: Boker, Udi, et al.
Pubblicazione: (2023)
di: Boker, Udi, et al.
Pubblicazione: (2023)
Adding Reconfiguration to Zielonka's Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2023)
di: Lehaut, Mathieu, et al.
Pubblicazione: (2023)
Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)
di: Drewes, Frank, et al.
Pubblicazione: (2024)
Universality Frontier for Asynchronous Cellular Automata
di: Baburin, Ivan, et al.
Pubblicazione: (2025)
di: Baburin, Ivan, et al.
Pubblicazione: (2025)
QuAK: Quantitative Automata Kit
di: Chalupa, Marek, et al.
Pubblicazione: (2024)
di: Chalupa, Marek, et al.
Pubblicazione: (2024)
Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)
Classifying Words with 3-sort Automata
di: Jastrząb, Tomasz, et al.
Pubblicazione: (2024)
di: Jastrząb, Tomasz, et al.
Pubblicazione: (2024)
Automata for the commutative closure of regular sets
di: Becher, Verónica, et al.
Pubblicazione: (2025)
di: Becher, Verónica, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Simulation Limitations of Affine Cellular Automata
di: Hudcová, Barbora, et al.
Pubblicazione: (2023) -
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
di: Casares, Antonio, et al.
Pubblicazione: (2024) -
History-Deterministic Büchi Automata are Succinct
di: Casares, Antonio, et al.
Pubblicazione: (2026) -
Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026) -
Computational Model for Parsing Expression Grammars
di: Rubtsov, Alexander, et al.
Pubblicazione: (2024)