Imagen de Portada

Commutative algebras of series

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Clemente, Lorenzo
Formato:	Preprint
Publicado:	2026
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Cost Automata, Safe Schemes, and Downward Closures
por: Barozzini, David, et al.
Publicado: (2020)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
por: Kostolányi, Peter, et al.
Publicado: (2026)

The commutativity problem for effective varieties of formal series, and applications
por: Clemente, Lorenzo
Publicado: (2025)

Minimizing Streaming String Transducers: An algebraic approach
por: Benalioua, Yahia Idriss, et al.
Publicado: (2026)

Completeness Theorems for Kleene algebra with tests and top
por: Pous, Damien, et al.
Publicado: (2023)

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

Congruence based proofs of the recognizability theorems for free many-sorted algebras
por: Vidal, Juan Climent, et al.
Publicado: (2018)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
por: Fülöp, Zoltán, et al.
Publicado: (2025)

Algorithmic analysis of systems with affine input and polynomial state
por: Clemente, Lorenzo
Publicado: (2025)

Prefix Parsing is Just Parsing
por: Pasti, Clemente, et al.
Publicado: (2026)

Commuting upper triangular binary morphisms
por: Honkala, Juha
Publicado: (2023)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
por: Lehaut, Mathieu, et al.
Publicado: (2026)

One-clock synthesis problems
por: Lasota, Sławomir, et al.
Publicado: (2026)

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

Nondeterministic state complexity of square root
por: Onishchenko, Sergey
Publicado: (2026)

Forgetting Event Order in Higher-Dimensional Automata
por: Zouari, Safa
Publicado: (2026)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
por: Chen, Zeyu, et al.
Publicado: (2026)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
por: German, Samuel
Publicado: (2026)

Temporal Causal Models as a Model of Computation
por: Gladyshev, Maksim, et al.
Publicado: (2026)

The Similarity Control Problem with Required Events
por: Wang, Yu, et al.
Publicado: (2026)

History-Deterministic Büchi Automata are Succinct
por: Casares, Antonio, et al.
Publicado: (2026)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
por: Erlich, Enzo, et al.
Publicado: (2026)

Localising Stochasticity in Weighted Automata
por: Agarwal, Smayan, et al.
Publicado: (2026)

A quadratic lower bound for 2DFAs against one-way liveness
por: Adeogun, Kehinde, et al.
Publicado: (2026)

History-Constrained Systems
por: Kuijer, Louwe B., et al.
Publicado: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
por: Guzman, Alexander Obeid
Publicado: (2026)

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

Active Inference of Extended Finite State Machine Models with Registers and Guards
por: Groz, Roland, et al.
Publicado: (2026)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
por: Shoudai, Takayoshi, et al.
Publicado: (2026)

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

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
por: Wißmann, Thorsten
Publicado: (2026)

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

Measure Many Quantum Finite Automata on Infinite Words
por: Midya, Abhisek, et al.
Publicado: (2026)

Exact Separation of Words via Trace Geometry
por: Chen, Zeyu, et al.
Publicado: (2026)

Star Complexity of Parikh Images of Languages over Infinite Alphabets
por: Danieli, Yoav
Publicado: (2026)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
por: Stan, Daniel, et al.
Publicado: (2026)

Automata on Graph Alphabets
por: Bazille, Hugo, et al.
Publicado: (2026)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
por: Manini, Andrea, et al.
Publicado: (2026)

Fast and General Automatic Differentiation for Finite-State Methods
por: Yang, Lucas Ondel, et al.
Publicado: (2026)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
por: De Maria, Elisabetta, et al.
Publicado: (2026)