Copertina

Tahr: The Generative Attribute Grammar Framework

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ciccaglione, Matteo, Caliandro, Pierciro, Pellegrini, Alessandro
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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)

Computational Model for Parsing Expression Grammars
di: Rubtsov, Alexander, et al.
Pubblicazione: (2024)

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

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, 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)

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

Attributed Tree Transducers for Partial Functions
di: Maneth, Sebastian, et al.
Pubblicazione: (2024)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
di: Manini, Andrea, et al.
Pubblicazione: (2025)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
di: Maneth, Sebastian, et al.
Pubblicazione: (2023)

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

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

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

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
di: Manini, Andrea, et al.
Pubblicazione: (2026)

On Decidability Timed Automata with 2 Parametric Clocks
di: Bersani, Marcello M., et al.
Pubblicazione: (2025)

Quantum finite automata and linear context-free languages: a decidable problem
di: Bertoni, A., et al.
Pubblicazione: (2013)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
di: Zhang, Kuize, et al.
Pubblicazione: (2024)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

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

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

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
di: Cimatti, Alessandro, et al.
Pubblicazione: (2024)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
di: De Maria, Elisabetta, et al.
Pubblicazione: (2026)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
di: Teodorescu, Vlad-Alexandru, et al.
Pubblicazione: (2024)

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

Fully Generalized Reactivity(1) Synthesis
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
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)

Atomic Gliders and CA as Language Generators (Extended Version)
di: Fisman, Dana, et al.
Pubblicazione: (2025)

Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)

Backward Responsibility in Transition Systems Using General Power Indices
di: Baier, Christel, et al.
Pubblicazione: (2024)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
di: Shoudai, Takayoshi, et al.
Pubblicazione: (2026)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

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

Detecting and Explaining (In-)equivalence of Context-Free Grammars
di: Schmellenkamp, Marko, et al.
Pubblicazione: (2024)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
di: Henkel, Christian, et al.
Pubblicazione: (2025)

Unraveling Syntax: How Language Models Learn Context-Free Grammars
di: Schulz, Laura Ying, et al.
Pubblicazione: (2025)