Buchumschlag

A* shortest string decoding for non-idempotent semirings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gorman, Kyle, Allauzen, Cyril
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Formal Languages and Automata Theory Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tutorial: $φ$-Transductions in OpenFst via the Gallic Semiring
von: Cognetta, Marco, et al.
Veröffentlicht: (2025)

Automata-based constraints for language model decoding
von: Koo, Terry, et al.
Veröffentlicht: (2024)

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

On shortest products for nonnegative matrix mortality
von: Ryzhikov, Andrew
Veröffentlicht: (2024)

Sequential densities of rational languages
von: Gorman, Alexi Block, et al.
Veröffentlicht: (2026)

Time complexity for deterministic string machines
von: Cataltepe, Ali, et al.
Veröffentlicht: (2024)

Knee-Deep in C-RASP: A Transformer Depth Hierarchy
von: Yang, Andy, et al.
Veröffentlicht: (2025)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
von: Wei, Zhenghao, et al.
Veröffentlicht: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Benchmarking Testing in Automated Theorem Proving
von: Kim, Jongyoon, et al.
Veröffentlicht: (2026)

Consistent Autoformalization for Constructing Mathematical Libraries
von: Zhang, Lan, et al.
Veröffentlicht: (2024)

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

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
von: Prabhu, Shreekanth M, et al.
Veröffentlicht: (2023)

Recursive numeral systems are highly regular and easy to process
von: Prasertsom, Ponrawee, et al.
Veröffentlicht: (2025)

Transducing Language Models
von: Snæbjarnarson, Vésteinn, et al.
Veröffentlicht: (2026)

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

Explorability in Pushdown Automata
von: Bedi, Ayaan, et al.
Veröffentlicht: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
von: Roop, Partha, et al.
Veröffentlicht: (2026)

Reachability in symmetric VASS
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2025)

Self-Replicating Mechanical Universal Turing Machine
von: Lano, Ralph P.
Veröffentlicht: (2024)

Cluster automata
von: Kornai, András
Veröffentlicht: (2025)

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
von: Nowak, Franz, et al.
Veröffentlicht: (2024)

Prefix Parsing is Just Parsing
von: Pasti, Clemente, et al.
Veröffentlicht: (2026)

TuringQ: Benchmarking AI Comprehension in Theory of Computation
von: Zahraei, Pardis Sadat, et al.
Veröffentlicht: (2024)

Tokenization as Finite-State Transduction
von: Cognetta, Marco, et al.
Veröffentlicht: (2024)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Random Deterministic Automata With One Added Transition
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)

Twinning automata and regular expressions for string static analysis
von: Negrini, Luca, et al.
Veröffentlicht: (2020)

A model of actors and grey failures
von: Bocchi, Laura, et al.
Veröffentlicht: (2022)

A Close Analysis of the Subset Construction
von: Baburin, Ivan, et al.
Veröffentlicht: (2024)

Corrections to A Menagerie of Timed Automata
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2016)

A Unifying Approach to Picture Automata
von: Meeres, Yvo Ad, et al.
Veröffentlicht: (2025)

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

A Factorization Theorem for Forest Algebras
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

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

FocusE: A semantic extension of FocusST
von: Spichkova, Maria
Veröffentlicht: (2025)

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

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