Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Udgivet: |
2023
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/2309.08321 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
af: Ferens, Robert, et al.
Udgivet: (2022)
af: Ferens, Robert, et al.
Udgivet: (2022)
Cerny type automata and rank conjecture
af: Rystsov, Igor
Udgivet: (2025)
af: Rystsov, Igor
Udgivet: (2025)
Synchronization of strongly connected partial DFAs and prefix codes
af: Berlinkov, Mikhail V., et al.
Udgivet: (2021)
af: Berlinkov, Mikhail V., et al.
Udgivet: (2021)
On linguistic subsets of groups and monoids
af: Carvalho, André, et al.
Udgivet: (2025)
af: Carvalho, André, et al.
Udgivet: (2025)
Presentation of monoids generated by a projection and an involution
af: Caron, Pascal, et al.
Udgivet: (2024)
af: Caron, Pascal, et al.
Udgivet: (2024)
QuAK: Quantitative Automata Kit
af: Chalupa, Marek, et al.
Udgivet: (2024)
af: Chalupa, Marek, et al.
Udgivet: (2024)
A framework for extraction and transformation of documents
af: Riveros, Cristian, et al.
Udgivet: (2024)
af: Riveros, Cristian, et al.
Udgivet: (2024)
A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
af: Doveri, Kyveli, et al.
Udgivet: (2024)
af: Doveri, Kyveli, et al.
Udgivet: (2024)
The Complexity of Nested Reset Counter Systems
af: Balasubramanian, A. R., et al.
Udgivet: (2026)
af: Balasubramanian, A. R., et al.
Udgivet: (2026)
The Expansion Problem for Infinite Trees
af: Blumensath, Achim
Udgivet: (2023)
af: Blumensath, Achim
Udgivet: (2023)
Mata, a Fast and Simple Finite Automata Library (Technical Report)
af: Chocholatý, David, et al.
Udgivet: (2023)
af: Chocholatý, David, et al.
Udgivet: (2023)
Simulation Limitations of Affine Cellular Automata
af: Hudcová, Barbora, et al.
Udgivet: (2023)
af: Hudcová, Barbora, et al.
Udgivet: (2023)
On the Expressive Power of Regular Expressions with Backreferences
af: Nogami, Taisei, et al.
Udgivet: (2023)
af: Nogami, Taisei, et al.
Udgivet: (2023)
Safety and Liveness of Quantitative Properties and Automata
af: Boker, Udi, et al.
Udgivet: (2023)
af: Boker, Udi, et al.
Udgivet: (2023)
Note on dissecting power of regular languages
af: Rukavicka, Josef
Udgivet: (2023)
af: Rukavicka, Josef
Udgivet: (2023)
Optimal Approximate Minimization of One-Letter Weighted Finite Automata
af: Lacroce, Clara, et al.
Udgivet: (2023)
af: Lacroce, Clara, et al.
Udgivet: (2023)
Checking History-Determinism is NP-hard for Parity Automata
af: Prakash, Keya
Udgivet: (2023)
af: Prakash, Keya
Udgivet: (2023)
Closure Properties of General Grammars -- Formally Verified
af: Dvorak, Martin, et al.
Udgivet: (2023)
af: Dvorak, Martin, et al.
Udgivet: (2023)
A Linear-time Simulation of Deterministic $d$-Limited Automata
af: Rubtsov, Alexander
Udgivet: (2023)
af: Rubtsov, Alexander
Udgivet: (2023)
Closure and Decision Properties for Higher-Dimensional Automata
af: Amrane, Amazigh, et al.
Udgivet: (2023)
af: Amrane, Amazigh, et al.
Udgivet: (2023)
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
af: Gallot, Paul, et al.
Udgivet: (2023)
af: Gallot, Paul, et al.
Udgivet: (2023)
Constructing Deterministic Parity Automata from Positive and Negative Examples
af: Bohn, León, et al.
Udgivet: (2023)
af: Bohn, León, et al.
Udgivet: (2023)
Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
af: Esparza, Javier, et al.
Udgivet: (2023)
af: Esparza, Javier, et al.
Udgivet: (2023)
Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
af: Maneth, Sebastian, et al.
Udgivet: (2023)
af: Maneth, Sebastian, et al.
Udgivet: (2023)
Adding Reconfiguration to Zielonka's Asynchronous Automata
af: Lehaut, Mathieu, et al.
Udgivet: (2023)
af: Lehaut, Mathieu, et al.
Udgivet: (2023)
On Decidability and Expressive Power of Fusion Grammars
af: Pshenitsyn, Tikhon
Udgivet: (2023)
af: Pshenitsyn, Tikhon
Udgivet: (2023)
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
af: Akshay, S, et al.
Udgivet: (2023)
af: Akshay, S, et al.
Udgivet: (2023)
Invariants and Home Spaces in Transition Systems and Petri Nets
af: Memmi, Gerard
Udgivet: (2023)
af: Memmi, Gerard
Udgivet: (2023)
Descriptional Complexity of Finite Automata -- Selected Highlights
af: Salomaa, Arto, et al.
Udgivet: (2023)
af: Salomaa, Arto, et al.
Udgivet: (2023)
Minimizing Cost Register Automata over a Field
af: Benalioua, Yahia Idriss, et al.
Udgivet: (2023)
af: Benalioua, Yahia Idriss, et al.
Udgivet: (2023)
A Usage-Aware Sequent Calculus for Differential Dynamic Logic
af: Dotzel, Myra, et al.
Udgivet: (2023)
af: Dotzel, Myra, et al.
Udgivet: (2023)
Completeness Theorems for Kleene algebra with tests and top
af: Pous, Damien, et al.
Udgivet: (2023)
af: Pous, Damien, et al.
Udgivet: (2023)
Separability and Non-Determinizability of WSTS
af: Czerwiński, Wojciech, et al.
Udgivet: (2023)
af: Czerwiński, Wojciech, et al.
Udgivet: (2023)
Explicit Hopcroft's Trick in Categorical Partition Refinement
af: Sanada, Takahiro, et al.
Udgivet: (2023)
af: Sanada, Takahiro, et al.
Udgivet: (2023)
WEX: Formal Specifications for Windows in Stream Processing
af: Hitarth, S, et al.
Udgivet: (2022)
af: Hitarth, S, et al.
Udgivet: (2022)
A General Information Extraction Framework Based on Formal Languages
af: Schmid, Markus L.
Udgivet: (2025)
af: Schmid, Markus L.
Udgivet: (2025)
Finite Automata for Efficient Graph Recognition
af: Drewes, Frank, et al.
Udgivet: (2024)
af: Drewes, Frank, et al.
Udgivet: (2024)
Statistical process discovery
af: Cry, Pierre, et al.
Udgivet: (2025)
af: Cry, Pierre, et al.
Udgivet: (2025)
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
af: Jeppson, Joshua, et al.
Udgivet: (2025)
af: Jeppson, Joshua, et al.
Udgivet: (2025)
Hyper pattern matching
af: Waga, Masaki, et al.
Udgivet: (2025)
af: Waga, Masaki, et al.
Udgivet: (2025)