Sciweavers

815 search results - page 7 / 163
» Algebraic Recognizability of Languages
Sort
View
FORMATS
2009
Springer
15 years 4 months ago
On the Supports of Recognizable Timed Series
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
Karin Quaas
IJCM
2010
80views more  IJCM 2010»
14 years 8 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
SOFSEM
2010
Springer
15 years 6 months ago
Picture Recognizability with Automata Based on Wang Tiles
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...
Violetta Lonati, Matteo Pradella
ENTCS
2010
84views more  ENTCS 2010»
14 years 6 months ago
Syntactic Language Extension via an Algebra of Languages and Transformations
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
Jacob Andersen, Claus Brabrand
BIRTHDAY
2009
Springer
15 years 4 months ago
Formal Series of General Algebras over a Field and Their Syntactic Algebras
Any mapping S : C → K, where K is a field and C = (C, Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over...
Zoltán Fülöp, Magnus Steinby