:: Library Catalog

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sin'ya, Ryoma, Yuyama, Takao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	https://arxiv.org/abs/2506.14134
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Star Complexity of Parikh Images of Languages over Infinite Alphabets
von: Danieli, Yoav
Veröffentlicht: (2026)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
von: Bergsträßer, Pascal, et al.
Veröffentlicht: (2024)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

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

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
von: Fang, Yue, et al.
Veröffentlicht: (2025)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
von: Kuriyama, Takayuki
Veröffentlicht: (2014)

Visibly Pushdown Languages in Groups
von: Ciobanu, Laura, et al.
Veröffentlicht: (2026)

Completely Reachable Almost Group Automata
von: Torres, David Fernando Casas
Veröffentlicht: (2024)

Directed Regular and Context-Free Languages
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

Well-Formed Free-Choice Petri Nets Revisited
von: Jancar, Petr, et al.
Veröffentlicht: (2026)

Measure Many Quantum Finite Automata on Infinite Words
von: Midya, Abhisek, et al.
Veröffentlicht: (2026)

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

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
von: Lan, Nur, et al.
Veröffentlicht: (2024)

Universally Wheeler Languages
von: Becker, Ruben, et al.
Veröffentlicht: (2025)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Positive Varieties of Lattice Languages
von: Inoue, Yusuke, et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Stochastic Languages at Sub-stochastic Cost
von: Agarwal, Smayan, et al.
Veröffentlicht: (2025)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

On the Representation and State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

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

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
von: Podolskii, Vladimir, et al.
Veröffentlicht: (2024)

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

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

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Atomic Gliders and CA as Language Generators (Extended Version)
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
von: Clement, Emily, et al.
Veröffentlicht: (2024)

Some Remarks on First-Order Definable Tree Languages
von: Blumensath, Achim
Veröffentlicht: (2024)

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

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2026)

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

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

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
von: Takata, Yoshiaki, et al.
Veröffentlicht: (2024)

Sections of Submonoids of Nilpotent Groups
von: Shafrir, Doron
Veröffentlicht: (2024)