Buchumschlag

Congruence based proofs of the recognizability theorems for free many-sorted algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vidal, Juan Climent, Llópez, Enric Cosme
Format:	Preprint
Veröffentlicht:	2018
Schlagworte:	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

Eilenberg theorems for many-sorted formations
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2016)

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

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2024)

Classifying Words with 3-sort Automata
von: Jastrząb, Tomasz, et al.
Veröffentlicht: (2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Conway's cosmological theorem and automata theory
von: Lairez, Pierre, et al.
Veröffentlicht: (2024)

Commutative algebras of series
von: Clemente, Lorenzo
Veröffentlicht: (2026)

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

Completeness Theorems for Kleene algebra with tests and top
von: Pous, Damien, et al.
Veröffentlicht: (2023)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Bounded treewidth, multiple context-free grammars, and downward closures
von: Aiswarya, C., et al.
Veröffentlicht: (2025)

Passive Model Learning of Visibly Deterministic Context-free Grammars
von: Muškardin, Edi, et al.
Veröffentlicht: (2025)

A short survey around the pumping lemma for context-free languages
von: Gullà, Gabriele
Veröffentlicht: (2024)

Quantum finite automata and linear context-free languages: a decidable problem
von: Bertoni, A., et al.
Veröffentlicht: (2013)

Combinatorial manifolds and Kleene's theorem, homotopically
von: Chamoun, Yorgo
Veröffentlicht: (2026)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
von: Anselmo, M., et al.
Veröffentlicht: (2024)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2025)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
von: Löding, Christof, et al.
Veröffentlicht: (2025)

Geodesic languages for rational subsets and conjugates in virtually free groups
von: Carvalho, André, et al.
Veröffentlicht: (2024)

Subword enumeration up to stack-sorting equivalence
von: Campbell, John M., et al.
Veröffentlicht: (2026)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

The Expansion Problem for Infinite Trees
von: Blumensath, Achim
Veröffentlicht: (2023)

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

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

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

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

One-clock synthesis problems
von: Lasota, Sławomir, et al.
Veröffentlicht: (2026)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Infinite-state Games with Energy Objectives Beyond Counters
von: Sağlam, Irmak, et al.
Veröffentlicht: (2026)

Nondeterministic state complexity of square root
von: Onishchenko, Sergey
Veröffentlicht: (2026)

Forgetting Event Order in Higher-Dimensional Automata
von: Zouari, Safa
Veröffentlicht: (2026)