Buchumschlag

Reset thresholds of transformation monoids

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rystsov, Igor, Szykuła, Marek
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
von: Ferens, Robert, et al.
Veröffentlicht: (2022)

Cerny type automata and rank conjecture
von: Rystsov, Igor
Veröffentlicht: (2025)

Synchronization of strongly connected partial DFAs and prefix codes
von: Berlinkov, Mikhail V., et al.
Veröffentlicht: (2021)

On linguistic subsets of groups and monoids
von: Carvalho, André, et al.
Veröffentlicht: (2025)

Presentation of monoids generated by a projection and an involution
von: Caron, Pascal, et al.
Veröffentlicht: (2024)

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

A framework for extraction and transformation of documents
von: Riveros, Cristian, et al.
Veröffentlicht: (2024)

A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)

The Expansion Problem for Infinite Trees
von: Blumensath, Achim
Veröffentlicht: (2023)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
von: Chocholatý, David, et al.
Veröffentlicht: (2023)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)

On the Expressive Power of Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2023)

Safety and Liveness of Quantitative Properties and Automata
von: Boker, Udi, et al.
Veröffentlicht: (2023)

Note on dissecting power of regular languages
von: Rukavicka, Josef
Veröffentlicht: (2023)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
von: Lacroce, Clara, et al.
Veröffentlicht: (2023)

Checking History-Determinism is NP-hard for Parity Automata
von: Prakash, Keya
Veröffentlicht: (2023)

Closure Properties of General Grammars -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2023)

A Linear-time Simulation of Deterministic $d$-Limited Automata
von: Rubtsov, Alexander
Veröffentlicht: (2023)

Closure and Decision Properties for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2023)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2023)

Constructing Deterministic Parity Automata from Positive and Negative Examples
von: Bohn, León, et al.
Veröffentlicht: (2023)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
von: Maneth, Sebastian, et al.
Veröffentlicht: (2023)

Adding Reconfiguration to Zielonka's Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2023)

On Decidability and Expressive Power of Fusion Grammars
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

Invariants and Home Spaces in Transition Systems and Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2023)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)

Minimizing Cost Register Automata over a Field
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2023)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
von: Dotzel, Myra, et al.
Veröffentlicht: (2023)

Completeness Theorems for Kleene algebra with tests and top
von: Pous, Damien, et al.
Veröffentlicht: (2023)

Separability and Non-Determinizability of WSTS
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2023)

Explicit Hopcroft's Trick in Categorical Partition Refinement
von: Sanada, Takahiro, et al.
Veröffentlicht: (2023)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)