Buchumschlag

Positive Varieties of Lattice Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Inoue, Yusuke, Komatsu, Yuji
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Locality and Centrality: The Variety ZG
von: Amarilli, Antoine, et al.
Veröffentlicht: (2021)

A Variety of Request-Response Specifications
von: Aiba, Daichi, et al.
Veröffentlicht: (2025)

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

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
von: Shoudai, Takayoshi, et al.
Veröffentlicht: (2026)

Information-flow Interfaces and Security Lattices
von: Bartocci, Ezio, et al.
Veröffentlicht: (2024)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

Constrained Multi-Tildes: Derived Term and Position Automata
von: Attou, Samira, et al.
Veröffentlicht: (2024)

Constructing Deterministic Parity Automata from Positive and Negative Examples
von: Bohn, León, et al.
Veröffentlicht: (2023)

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

Quantitative Language Automata
von: Henzinger, Thomas A., 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)

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)

Measure-Theoretic Aspects of Star-Free and Group Languages
von: Sin'ya, Ryoma, et al.
Veröffentlicht: (2025)

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)

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)

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)

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

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

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

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

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

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)