Image de couverture de livre

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ise, Daihei, Kobayashi, Satoshi
Format:	Preprint
Publié:	2024
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

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

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

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

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

Forbidden-Context & Ordered Grammar Systems
par: Fernau, Henning, et autres
Publié: (2026)

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

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

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)

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

Bandwidth of Nondeterministic Finite Automata
par: Cho, Da-Jung, et autres
Publié: (2026)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
par: Shoudai, Takayoshi, et autres
Publié: (2026)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
par: Gallot, Paul, et autres
Publié: (2023)

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

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

Behaviorally Correct Learning from Informants
par: Mohrin, Niklas
Publié: (2025)

Do CFLOBDDs Actually Make Use of Linear Structure?
par: Sistla, Meghana Aparna, et autres
Publié: (2026)

Characterization of Isometric Words based on Swap and Mismatch Distance
par: Anselmo, M., et autres
Publié: (2024)

Characterizing normality via automata and random matrix products
par: Bienvenu, Laurent, et autres
Publié: (2026)

A Linear-time Simulation of Deterministic $d$-Limited Automata
par: Rubtsov, Alexander
Publié: (2023)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
par: Erlich, Enzo, et autres
Publié: (2026)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
par: Schwartz, Daniel G.
Publié: (2025)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
par: Fülöp, Zoltán, et autres
Publié: (2025)

The Similarity Control Problem with Required Events
par: Wang, Yu, et autres
Publié: (2026)

Controller Synthesis for Parametric Timed Games
par: Dahlsen-Jensen, Mikael Bisgaard, et autres
Publié: (2025)

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
par: Havel, Martin, et autres
Publié: (2024)

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

More on Maximally Permissive Similarity Control of Discrete Event Systems
par: Wang, Yu, et autres
Publié: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
par: Bellier, Dylan, et autres
Publié: (2026)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
par: Larsen, Kim G., et autres
Publié: (2025)

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

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
par: Yang, Dong, et autres
Publié: (2024)

Fully Generalized Reactivity(1) Synthesis
par: Ehlers, Rüdiger, et autres
Publié: (2024)

AGDES: Automatic Generation of Dependent Event Sequences
par: Guzman, Alexander Obeid
Publié: (2026)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
par: Ndadji, Milliam Maxime Zekeng, et autres
Publié: (2020)

Fast and General Automatic Differentiation for Finite-State Methods
par: Yang, Lucas Ondel, et autres
Publié: (2026)

Atomic Gliders and CA as Language Generators (Extended Version)
par: Fisman, Dana, et autres
Publié: (2025)

Backward Responsibility in Transition Systems Using General Power Indices
par: Baier, Christel, et autres
Publié: (2024)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)