Copertina

Directed Regular and Context-Free Languages

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ganardi, Moses, Saglam, Irmak, Zetzsche, Georg
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Infinite-state Games with Energy Objectives Beyond Counters
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)

Existential Definability over the Subword Ordering
di: Baumann, Pascal, et al.
Pubblicazione: (2022)

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
di: Lichtner, Kilian, et al.
Pubblicazione: (2025)

Regular Languages in the Sliding Window Model
di: Ganardi, Moses, et al.
Pubblicazione: (2024)

On the complexity of computing Strahler numbers
di: Ganardi, Moses, et al.
Pubblicazione: (2025)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
di: Zetzsche, Stefan, et al.
Pubblicazione: (2024)

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

The complexity of separability for semilinear sets and Parikh automata
di: Collins, Elias Rojas, et al.
Pubblicazione: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
di: Barloy, Corentin, et al.
Pubblicazione: (2026)

Bounded treewidth, multiple context-free grammars, and downward closures
di: Aiswarya, C., et al.
Pubblicazione: (2025)

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

Slice closures of indexed languages and word equations with counting constraints
di: Ciobanu, Laura, et al.
Pubblicazione: (2024)

The Counting Power of Transformers
di: Sälzer, Marco, et al.
Pubblicazione: (2025)

A Tree Sampler for Bounded Context-Free Languages
di: Considine, Breandan
Pubblicazione: (2024)

General Decidability Results for Systems with Continuous Counters
di: Balasubramanian, A. R., et al.
Pubblicazione: (2025)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
di: Kuriyama, Takayuki
Pubblicazione: (2014)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
di: Shakiba, Yousef, et al.
Pubblicazione: (2025)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
di: Yamakami, Tomoyuki
Pubblicazione: (2021)

Context-Free Languages of String Diagrams
di: Earnshaw, Matt, et al.
Pubblicazione: (2024)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
di: Becker, Ruben, et al.
Pubblicazione: (2024)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
di: Angluin, Dana, et al.
Pubblicazione: (2022)

Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities
di: Baumann, Pascal, et al.
Pubblicazione: (2024)

Verifying Unboundedness via Amalgamation
di: Anand, Ashwani, et al.
Pubblicazione: (2024)

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

Random Graph Generation in Context-Free Graph Languages
di: Vastarini, Federico, et al.
Pubblicazione: (2024)

Measure-Theoretic Aspects of Star-Free and Group Languages
di: Sin'ya, Ryoma, et al.
Pubblicazione: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

The complexity of downward closures of indexed languages
di: Mandel, Richard, et al.
Pubblicazione: (2026)

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

Softmax Transformers are Turing-Complete
di: Jiang, Hongjian, et al.
Pubblicazione: (2025)

On the Expressive Power of Regular Expressions with Backreferences
di: Nogami, Taisei, et al.
Pubblicazione: (2023)

Transducing Language Models
di: Snæbjarnarson, Vésteinn, et al.
Pubblicazione: (2026)

Weighted Automata and Regular Expressions for Financial Systems
di: Droste, Manfred, et al.
Pubblicazione: (2026)

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, et al.
Pubblicazione: (2024)

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
di: Nowak, Franz, et al.
Pubblicazione: (2024)

A Regular and Complete Notion of Delay for Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
di: Wei, Zhenghao, et al.
Pubblicazione: (2024)

MLRegTest: A Benchmark for the Machine Learning of Regular Languages
di: van der Poel, Sam, et al.
Pubblicazione: (2023)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
di: Prabhu, Shreekanth M, et al.
Pubblicazione: (2023)

Forbidden-Context & Ordered Grammar Systems
di: Fernau, Henning, et al.
Pubblicazione: (2026)