Buchumschlag

Decision Procedure for A Theory of String Sequences

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hu, Denghang, Chen, Taolue, Rümmer, Philipp, Song, Fu, Wu, Zhilin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages 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

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Finite-valued Streaming String Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2024)

Composing Copyless Streaming String Transducers
von: Alur, Rajeev, et al.
Veröffentlicht: (2022)

The Decision Problem for Regular First-Order Theories
von: Mathur, Umang, et al.
Veröffentlicht: (2024)

A Regular and Complete Notion of Delay for Streaming String Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2022)

Minimizing Streaming String Transducers: An algebraic approach
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2026)

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

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

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

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

Polyregular equivalence is undecidable in higher-order types
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2026)

Synchronisability in Mailbox Communication
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2024)

Verification under TSO with an infinite Data Domain
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
von: Wu, Zi-Niu
Veröffentlicht: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

String Attractors for Automatic Sequences
von: Schaeffer, Luke, et al.
Veröffentlicht: (2020)

AGDES: Automatic Generation of Dependent Event Sequences
von: Guzman, Alexander Obeid
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)

Closure and Decision Properties for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2023)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
von: Finkel, Alain, et al.
Veröffentlicht: (2025)

Standard Automata Theory and Process Algebra
von: Yodaiken, Victor
Veröffentlicht: (2022)

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

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)