Positive Characteristic Sets for Relational Pattern Languages
Fuente:
arXiv
Saved in:
| Main Authors: | Mousawi, S. Mahmoud, Zilles, Sandra |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Positive Varieties of Lattice Languages
by: Inoue, Yusuke, et al.
Published: (2025)
by: Inoue, Yusuke, et al.
Published: (2025)
Inferring Symbolic Automata
by: Fisman, Dana, et al.
Published: (2021)
by: Fisman, Dana, et al.
Published: (2021)
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
by: Angluin, Dana, et al.
Published: (2022)
by: Angluin, Dana, et al.
Published: (2022)
Parametric Timed Pattern Matching
by: Waga, Masaki, et al.
Published: (2019)
by: Waga, Masaki, et al.
Published: (2019)
A Formal Approach for Tuning Stochastic Oscillators
by: Ballarini, Paolo, et al.
Published: (2024)
by: Ballarini, Paolo, et al.
Published: (2024)
The Power-Set Construction for Tree Algebras
by: Blumensath, Achim
Published: (2022)
by: Blumensath, Achim
Published: (2022)
Regular Grammars for Sets of Graphs of Tree-Width 2
by: Bozga, Marius, et al.
Published: (2024)
by: Bozga, Marius, et al.
Published: (2024)
Constrained Multi-Tildes: Derived Term and Position Automata
by: Attou, Samira, et al.
Published: (2024)
by: Attou, Samira, et al.
Published: (2024)
Constructing Deterministic Parity Automata from Positive and Negative Examples
by: Bohn, León, et al.
Published: (2023)
by: Bohn, León, et al.
Published: (2023)
Resynchronized Uniformization and Definability Problems for Rational Relations
by: Löding, Christof, et al.
Published: (2021)
by: Löding, Christof, et al.
Published: (2021)
Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
by: Pshenitsyn, Tikhon
Published: (2025)
by: Pshenitsyn, Tikhon
Published: (2025)
Universally Wheeler Languages
by: Becker, Ruben, et al.
Published: (2025)
by: Becker, Ruben, et al.
Published: (2025)
Quantitative Language Automata
by: Henzinger, Thomas A., et al.
Published: (2025)
by: Henzinger, Thomas A., et al.
Published: (2025)
On the Complexity of Language Membership for Probabilistic Words
by: Amarilli, Antoine, et al.
Published: (2025)
by: Amarilli, Antoine, et al.
Published: (2025)
Stochastic Languages at Sub-stochastic Cost
by: Agarwal, Smayan, et al.
Published: (2025)
by: Agarwal, Smayan, et al.
Published: (2025)
On the Separability Problem of VASS Reachability Languages
by: Keskin, Eren, et al.
Published: (2024)
by: Keskin, Eren, et al.
Published: (2024)
Operational State Complexity of Block Languages
by: Duarte, Guilherme, et al.
Published: (2024)
by: Duarte, Guilherme, et al.
Published: (2024)
On the Representation and State Complexity of Block Languages
by: Duarte, Guilherme, et al.
Published: (2024)
by: Duarte, Guilherme, et al.
Published: (2024)
Regular Languages in the Sliding Window Model
by: Ganardi, Moses, et al.
Published: (2024)
by: Ganardi, Moses, et al.
Published: (2024)
Idefix-Closed Languages and Their Application in Contextual Grammars
by: Ködding, Marvin, et al.
Published: (2025)
by: Ködding, Marvin, et al.
Published: (2025)
Languages of Boundedly-Ambiguous Vector Addition Systems with States
by: Czerwiński, Wojciech, et al.
Published: (2025)
by: Czerwiński, Wojciech, et al.
Published: (2025)
Atomic Gliders and CA as Language Generators (Extended Version)
by: Fisman, Dana, et al.
Published: (2025)
by: Fisman, Dana, et al.
Published: (2025)
Measure-Theoretic Aspects of Star-Free and Group Languages
by: Sin'ya, Ryoma, et al.
Published: (2025)
by: Sin'ya, Ryoma, et al.
Published: (2025)
A Tree Sampler for Bounded Context-Free Languages
by: Considine, Breandan
Published: (2024)
by: Considine, Breandan
Published: (2024)
Shuffles of Context-Free Languages along Regular Trajectories
by: Barloy, Corentin, et al.
Published: (2026)
by: Barloy, Corentin, et al.
Published: (2026)
Greybox Learning of Languages Recognizable by Event-Recording Automata
by: Majumdar, Anirban, et al.
Published: (2024)
by: Majumdar, Anirban, et al.
Published: (2024)
Kamp Theorem for Pomset Languages of Higher Dimensional Automata
by: Clement, Emily, et al.
Published: (2024)
by: Clement, Emily, et al.
Published: (2024)
Some Remarks on First-Order Definable Tree Languages
by: Blumensath, Achim
Published: (2024)
by: Blumensath, Achim
Published: (2024)
A General Information Extraction Framework Based on Formal Languages
by: Schmid, Markus L.
Published: (2025)
by: Schmid, Markus L.
Published: (2025)
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
by: Hausmann, Daniel, et al.
Published: (2024)
by: Hausmann, Daniel, et al.
Published: (2024)
Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
by: Erlich, Enzo, et al.
Published: (2026)
by: Erlich, Enzo, et al.
Published: (2026)
Star Complexity of Parikh Images of Languages over Infinite Alphabets
by: Danieli, Yoav
Published: (2026)
by: Danieli, Yoav
Published: (2026)
On the Complexity of Computing the Co-lexicographic Width of a Regular Language
by: Becker, Ruben, et al.
Published: (2024)
by: Becker, Ruben, et al.
Published: (2024)
Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
by: Shoudai, Takayoshi, et al.
Published: (2026)
by: Shoudai, Takayoshi, et al.
Published: (2026)
Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
by: Kuriyama, Takayuki
Published: (2014)
by: Kuriyama, Takayuki
Published: (2014)
Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
by: Nogami, Taisei, et al.
Published: (2024)
by: Nogami, Taisei, et al.
Published: (2024)
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
by: Bergsträßer, Pascal, et al.
Published: (2024)
by: Bergsträßer, Pascal, et al.
Published: (2024)
Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
by: Berdinsky, Dmitry
Published: (2016)
by: Berdinsky, Dmitry
Published: (2016)
The CFG Complexity of Singleton Sets
by: Fortnow, Lance, et al.
Published: (2024)
by: Fortnow, Lance, et al.
Published: (2024)
Statistical process discovery
by: Cry, Pierre, et al.
Published: (2025)
by: Cry, Pierre, et al.
Published: (2025)
Similar Items
-
Positive Varieties of Lattice Languages
by: Inoue, Yusuke, et al.
Published: (2025) -
Inferring Symbolic Automata
by: Fisman, Dana, et al.
Published: (2021) -
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
by: Angluin, Dana, et al.
Published: (2022) -
Parametric Timed Pattern Matching
by: Waga, Masaki, et al.
Published: (2019) -
A Formal Approach for Tuning Stochastic Oscillators
by: Ballarini, Paolo, et al.
Published: (2024)