Sciweavers

815 search results - page 2 / 163
» Algebraic Recognizability of Languages
Sort
View
GG
2008
Springer
13 years 6 months ago
On the Recognizability of Arrow and Graph Languages
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...
Harrie Jan Sander Bruggink, Barbara König
FSS
2006
105views more  FSS 2006»
13 years 5 months ago
Cut sets as recognizable tree languages
A tree series over a semiring with partially ordered carrier set can be considered as a fuzzy set. We investigate conditions under which it can also be understood as a fuzzied rec...
Björn Borchardt, Andreas Maletti, Branimir Se...
DLT
2006
13 years 6 months ago
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
Manfred Kufleitner
ECEASST
2010
13 years 2 months ago
Graph Algebras for Bigraphs
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
Davide Grohmann, Marino Miculan
IANDC
2006
82views more  IANDC 2006»
13 years 5 months 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