Buchumschlag

Locality and Centrality: The Variety ZG

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Amarilli, Antoine, Paperman, Charles
Format:	Preprint
Veröffentlicht:	2021
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

Out-of-Order Membership in Regular Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

Dynamic Membership for Regular Tree Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Locality Testing for NFAs is PSPACE-complete
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Skyline Operators for Document Spanners
von: Amarilli, Antoine, et al.
Veröffentlicht: (2023)

Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

Positive Varieties of Lattice Languages
von: Inoue, Yusuke, et al.
Veröffentlicht: (2025)

A Variety of Request-Response Specifications
von: Aiba, Daichi, et al.
Veröffentlicht: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Linear Time Subsequence and Supersequence Regex Matching
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Designing and Comparing RPQ Semantics
von: Marsault, Victor, et al.
Veröffentlicht: (2026)

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

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
von: Amarilli, Antoine, et al.
Veröffentlicht: (2024)

Word-Representable Graphs and Locality of Words
von: Böll, Philipp, et al.
Veröffentlicht: (2025)

Resynchronized Uniformization and Definability Problems for Rational Relations
von: Löding, Christof, et al.
Veröffentlicht: (2021)

Algebra and coalgebra of stream products
von: Boreale, Michele, et al.
Veröffentlicht: (2021)

Diagnosability of labeled $\mathfrak{D_p}$ automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)

Token Games and History-Deterministic Quantitative-Automata
von: Boker, Udi, et al.
Veröffentlicht: (2021)

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

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

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)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

One-clock synthesis problems
von: Lasota, Sławomir, et al.
Veröffentlicht: (2026)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Infinite-state Games with Energy Objectives Beyond Counters
von: Sağlam, Irmak, et al.
Veröffentlicht: (2026)

Nondeterministic state complexity of square root
von: Onishchenko, Sergey
Veröffentlicht: (2026)

Forgetting Event Order in Higher-Dimensional Automata
von: Zouari, Safa
Veröffentlicht: (2026)

Eilenberg theorems for many-sorted formations
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2016)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)