Sciweavers

34 search results - page 1 / 7
» On implementing recognizable transductions
Sort
View
92
Voted
IJCM
2010
80views more  IJCM 2010»
14 years 10 months ago
On implementing recognizable transductions
Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which refl...
Stavros Konstantinidis, Nicolae Santean, S. Yu
111
Voted
ITA
2000
15 years 4 days ago
Iteration of rational transductions
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of tr...
Alain Terlutte, David Simplot
93
Voted
IANDC
2006
82views more  IANDC 2006»
15 years 11 days ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
90
Voted
FUIN
2006
84views more  FUIN 2006»
15 years 11 days ago
Nondeterministic Bimachines and Rational Relations with Finite Codomain
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
Nicolae Santean, Sheng Yu
112
Voted
TCS
2010
14 years 7 months ago
Definable transductions and weighted logics for texts
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
Christian Mathissen