Image de couverture de livre

Forbidden-Context & Ordered Grammar Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fernau, Henning, Kuppusamy, Lakshmanan, Schulz, Jana
Format:	Preprint
Publié:	2026
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On Computational Completeness of Semi-Conditional Matrix Grammars
par: Fernau, Henning, et autres
Publié: (2024)

Passive Model Learning of Visibly Deterministic Context-free Grammars
par: Muškardin, Edi, et autres
Publié: (2025)

Determinism in Multi-Soliton Automata
par: Bordihn, Henning, et autres
Publié: (2024)

Bonding Grammars
par: Pshenitsyn, Tikhon
Publié: (2024)

On Decidability and Expressive Power of Fusion Grammars
par: Pshenitsyn, Tikhon
Publié: (2023)

Tahr: The Generative Attribute Grammar Framework
par: Ciccaglione, Matteo, et autres
Publié: (2025)

Computational Model for Parsing Expression Grammars
par: Rubtsov, Alexander, et autres
Publié: (2024)

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
par: Fernau, Henning, et autres
Publié: (2024)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

Idefix-Closed Languages and Their Application in Contextual Grammars
par: Ködding, Marvin, et autres
Publié: (2025)

Unraveling Syntax: How Language Models Learn Context-Free Grammars
par: Schulz, Laura Ying, et autres
Publié: (2025)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
par: Mengel, Stefan, et autres
Publié: (2024)

Regular Grammars for Sets of Graphs of Tree-Width 2
par: Bozga, Marius, et autres
Publié: (2024)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
par: Pshenitsyn, Tikhon
Publié: (2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
par: Iosif, Radu, et autres
Publié: (2025)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
par: Ise, Daihei, et autres
Publié: (2024)

Completeness Theorems for Kleene algebra with tests and top
par: Pous, Damien, et autres
Publié: (2023)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
par: Schmellenkamp, Marko, et autres
Publié: (2024)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
par: Sistla, Meghana, et autres
Publié: (2023)

Extended Stone Duality via Monoidal Adjunctions
par: Lenke, Fabian, et autres
Publié: (2024)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
par: Jia, Xiaodong, et autres
Publié: (2024)

On Languages Describing Large Graph Classes
par: Fernau, Henning, et autres
Publié: (2026)

Shuffles of Context-Free Languages along Regular Trajectories
par: Barloy, Corentin, et autres
Publié: (2026)

A Tree Sampler for Bounded Context-Free Languages
par: Considine, Breandan
Publié: (2024)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
par: Kuriyama, Takayuki
Publié: (2014)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
par: Nogami, Taisei, et autres
Publié: (2024)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
par: Bozga, Marius, et autres
Publié: (2026)

History-Constrained Systems
par: Kuijer, Louwe B., et autres
Publié: (2026)

Reachability in Trace-Pushdown Systems
par: Köcher, Chris, et autres
Publié: (2025)

Responsibility in Actor-Based Systems
par: Baier, Christel, et autres
Publié: (2024)

Box-Reachability in Vector Addition Systems
par: Almagor, Shaull, et autres
Publié: (2025)

Mining Diamonds in labeled Transition Systems
par: van Spaendonck, P. H. M., et autres
Publié: (2025)

Tree-Verifiable Graph Grammars
par: Chimes, Mark, et autres
Publié: (2024)

Weighted Automata and Regular Expressions for Financial Systems
par: Droste, Manfred, et autres
Publié: (2026)

Minimality Notions via Factorization Systems and Examples
par: Wißmann, Thorsten
Publié: (2022)

Backward Responsibility in Transition Systems Beyond Safety
par: Baier, Christel, et autres
Publié: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
par: Chen, Hanyue, et autres
Publié: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
par: Fujinami, Hiroya, et autres
Publié: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
par: Drewes, Frank, et autres
Publié: (2025)