Buchumschlag

Regular Grammars for Sets of Graphs of Tree-Width 2

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bozga, Marius, Iosif, Radu, Zuleger, Florian
Format:	Preprint
Veröffentlicht:	2024
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

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

Iterating Non-Aggregative Structure Compositions
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

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

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
von: Bozga, Marius, et al.
Veröffentlicht: (2023)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)

Counting Abstraction for the Verification of Structured Parameterized Networks
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

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

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
von: Bueri, Lucas, et al.
Veröffentlicht: (2024)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

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

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

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

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

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

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

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

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

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

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

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
von: Figueira, Diego, et al.
Veröffentlicht: (2022)

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
von: Havel, Martin, et al.
Veröffentlicht: (2024)

The Power-Set Construction for Tree Algebras
von: Blumensath, Achim
Veröffentlicht: (2022)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
von: De Rosa, Mattia, et al.
Veröffentlicht: (2025)

Regular Languages in the Sliding Window Model
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

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

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Shuffles of Context-Free Languages along Regular Trajectories
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)

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

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
von: Angluin, Dana, et al.
Veröffentlicht: (2022)

A Regular and Complete Notion of Delay for Streaming String Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2022)

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

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

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
von: Nogami, Taisei, et al.
Veröffentlicht: (2024)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
von: Drewes, Frank, et al.
Veröffentlicht: (2025)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

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

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

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

Efficient Construction of Reachability Graphs for Petri Net Product Lines
von: Gómez-Martínez, Elena, et al.
Veröffentlicht: (2026)