Copertina

Computational Model for Parsing Expression Grammars

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rubtsov, Alexander, Chudinov, Nikita
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Linear-time Simulation of Deterministic $d$-Limited Automata
di: Rubtsov, Alexander
Pubblicazione: (2023)

Bonding Grammars
di: Pshenitsyn, Tikhon
Pubblicazione: (2024)

Passive Model Learning of Visibly Deterministic Context-free Grammars
di: Muškardin, Edi, et al.
Pubblicazione: (2025)

Forbidden-Context & Ordered Grammar Systems
di: Fernau, Henning, et al.
Pubblicazione: (2026)

On Decidability and Expressive Power of Fusion Grammars
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Tahr: The Generative Attribute Grammar Framework
di: Ciccaglione, Matteo, et al.
Pubblicazione: (2025)

Closure Properties of General Grammars -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2023)

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

Prefix Parsing is Just Parsing
di: Pasti, Clemente, et al.
Pubblicazione: (2026)

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, et al.
Pubblicazione: (2024)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
di: Ise, Daihei, et al.
Pubblicazione: (2024)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
di: Iosif, Radu, et al.
Pubblicazione: (2025)

A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation
di: Adrián, Patrik, et al.
Pubblicazione: (2024)

On the Expressive Power of Regular Expressions with Backreferences
di: Nogami, Taisei, et al.
Pubblicazione: (2023)

Temporal Causal Models as a Model of Computation
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)

Weighted Automata and Regular Expressions for Financial Systems
di: Droste, Manfred, et al.
Pubblicazione: (2026)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
di: Zetzsche, Stefan, et al.
Pubblicazione: (2024)

On Computational Completeness of Semi-Conditional Matrix Grammars
di: Fernau, Henning, et al.
Pubblicazione: (2024)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
di: Mengel, Stefan, et al.
Pubblicazione: (2024)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
di: Pert, Charles, et al.
Pubblicazione: (2024)

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

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)

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

Computational Complexity of Alignments
di: Schwanen, Christopher T., et al.
Pubblicazione: (2026)

Parsing Hypergraphs using Context-Free Positional Grammars
di: Costagliola, Gennaro, et al.
Pubblicazione: (2026)

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

Computing measures of weak-MSO definable sets of trees
di: Niwiński, Damian, et al.
Pubblicazione: (2024)

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
di: Havel, Martin, et al.
Pubblicazione: (2024)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
di: Becker, Ruben, et al.
Pubblicazione: (2024)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
di: Schwartz, Daniel G.
Pubblicazione: (2025)

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)

The Complexity of Aggregates over Extractions by Regular Expressions
di: Doleschal, Johannes, et al.
Pubblicazione: (2020)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
di: Bozga, Marius, et al.
Pubblicazione: (2026)

Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)

Tree-Verifiable Graph Grammars
di: Chimes, Mark, et al.
Pubblicazione: (2024)

On universality of regular realizability problems
di: Rubtsov, Alexander, et al.
Pubblicazione: (2023)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
di: Yu, Qixian, et al.
Pubblicazione: (2025)

Polyregular Model Checking
di: Lopez, Aliaume, et al.
Pubblicazione: (2025)