Buchumschlag

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pshenitsyn, Tikhon
Format:	Preprint
Veröffentlicht:	2025
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

Bonding Grammars
von: Pshenitsyn, Tikhon
Veröffentlicht: (2024)

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

First-Order Intuitionistic Linear Logic and Hypergraph Languages
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
von: Iosif, Radu, et al.
Veröffentlicht: (2025)

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

Tahr: The Generative Attribute Grammar Framework
von: Ciccaglione, Matteo, et al.
Veröffentlicht: (2025)

Forbidden-Context & Ordered Grammar Systems
von: Fernau, Henning, et al.
Veröffentlicht: (2026)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Idefix-Closed Languages and Their Application in Contextual Grammars
von: Ködding, Marvin, et al.
Veröffentlicht: (2025)

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

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

Regular Grammars for Sets of Graphs of Tree-Width 2
von: Bozga, Marius, et al.
Veröffentlicht: (2024)

Passive Model Learning of Visibly Deterministic Context-free Grammars
von: Muškardin, Edi, et al.
Veröffentlicht: (2025)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
von: Ise, Daihei, et al.
Veröffentlicht: (2024)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
von: Shafrir, Doron
Veröffentlicht: (2024)

A Uniform Framework for Problems on Context-Free Grammars
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
von: Mengel, Stefan, et al.
Veröffentlicht: (2024)

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

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

Approximate Problems for Finite Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2025)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

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

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

The Similarity Control Problem with Required Events
von: Wang, Yu, et al.
Veröffentlicht: (2026)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

Positive Characteristic Sets for Relational Pattern Languages
von: Mousawi, S. Mahmoud, et al.
Veröffentlicht: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
von: Drabik, Karolina, et al.
Veröffentlicht: (2025)

A Uniform Framework for Language Inclusion Problems
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
von: Paul, Subrata, et al.
Veröffentlicht: (2024)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
von: Bozga, Marius, et al.
Veröffentlicht: (2026)

Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
von: Ndadji, Milliam Maxime Zekeng, et al.
Veröffentlicht: (2020)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

The Trembling-Hand Problem for LTLf Planning
von: Yu, Pian, et al.
Veröffentlicht: (2024)

Membership and Conjugacy in Inverse Semigroups
von: Fleischer, Lukas, et al.
Veröffentlicht: (2025)

On Computational Completeness of Semi-Conditional Matrix Grammars
von: Fernau, Henning, et al.
Veröffentlicht: (2024)

Membership problems in nilpotent groups
von: Bodart, Corentin
Veröffentlicht: (2024)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
von: Schmellenkamp, Marko, et al.
Veröffentlicht: (2024)

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