439 research outputs found
Definability equals recognizability for graphs of bounded treewidth
We prove a conjecture of Courcelle, which states that a graph property is
definable in MSO with modular counting predicates on graphs of constant
treewidth if, and only if it is recognizable in the following sense:
constant-width tree decompositions of graphs satisfying the property can be
recognized by tree automata. While the forward implication is a classic fact
known as Courcelle's theorem, the converse direction remained openComment: 21 pages, an extended abstract will appear in the proceedings of LICS
201
Fuzzy graphs: Algebraic structure and syntactic recognition
© Springer Science+Business Media Dordrecht 2013. Directed fuzzy hypergraphs are introduced as a generalization of both crisp directed hypergraphs and directed fuzzy graphs. It is proved that the set of all directed fuzzy hypergraphs can be structured into a magmoid with operations graph composition and disjoint union. In this framework a notion of syntactic recognition inside magmoids is defined. The corresponding class is proved to be closed under boolean operations and inverse mor-phisms of magmoids. Moreover, the language of all strongly connected fuzzy graphs and the language that consists of all fuzzy graphs that have at least one directed path from the begin node to the end node through edges with membership grade 1 are recognizable. Additionally, a useful characterization of recognizability through left derivatives is also achieved
Graph automata
AbstractMagmoids satisfying the 15 fundamental equations of graphs, namely graphoids, are introduced. Automata on directed hypergraphs are defined by virtue of a relational graphoid. The closure properties of the so-obtained class are investigated, and a comparison is being made with the class of syntactically recognizable graph languages
Logics with rigidly guarded data tests
The notion of orbit finite data monoid was recently introduced by Bojanczyk
as an algebraic object for defining recognizable languages of data words.
Following Buchi's approach, we introduce a variant of monadic second-order
logic with data equality tests that captures precisely the data languages
recognizable by orbit finite data monoids. We also establish, following this
time the approach of Schutzenberger, McNaughton and Papert, that the
first-order fragment of this logic defines exactly the data languages
recognizable by aperiodic orbit finite data monoids. Finally, we consider
another variant of the logic that can be interpreted over generic structures
with data. The data languages defined in this variant are also recognized by
unambiguous finite memory automata
Algebraic recognizability of regular tree languages
We propose a new algebraic framework to discuss and classify recognizable
tree languages, and to characterize interesting classes of such languages. Our
algebraic tool, called preclones, encompasses the classical notion of syntactic
Sigma-algebra or minimal tree automaton, but adds new expressivity to it. The
main result in this paper is a variety theorem \`{a} la Eilenberg, but we also
discuss important examples of logically defined classes of recognizable tree
languages, whose characterization and decidability was established in recent
papers (by Benedikt and S\'{e}goufin, and by Bojanczyk and Walukiewicz) and can
be naturally formulated in terms of pseudovarieties of preclones. Finally, this
paper constitutes the foundation for another paper by the same authors, where
first-order definable tree languages receive an algebraic characterization
A Characterization of Lyapunov Inequalities for Stability of Switched Systems
We study stability criteria for discrete-time switched systems and provide a
meta-theorem that characterizes all Lyapunov theorems of a certain canonical
type. For this purpose, we investigate the structure of sets of LMIs that
provide a sufficient condition for stability. Various such conditions have been
proposed in the literature in the past fifteen years. We prove in this note
that a family of languagetheoretic conditions recently provided by the authors
encapsulates all the possible LMI conditions, thus putting a conclusion to this
research effort. As a corollary, we show that it is PSPACE-complete to
recognize whether a particular set of LMIs implies stability of a switched
system. Finally, we provide a geometric interpretation of these conditions, in
terms of existence of an invariant set.Comment: arXiv admin note: text overlap with arXiv:1201.322
When is a set of LMIs a sufficient condition for stability?
We study stability criteria for discrete time switching systems. We
investigate the structure of sets of LMIs that are a sufficient condition for
stability (i.e., such that any switching system which satisfies these LMIs is
stable). We provide an exact characterization of these sets. As a corollary, we
show that it is PSPACE-complete to recognize whether a particular set of LMIs
implies the stability of a switching system
Sanakielet ja lokaalisuus
In this master's thesis we study the generalization of word languages into multi-dimensional arrays of letters i.e picture languages. Our main interest is the class of recognizable picture languages which has many properties in common with the robust class of regular word languages. After surveying the basic properties of picture languages, we present a logical characterization of recognizable picture languages—a generalization of Büchi's theorem of word languages into pictures, namely that the class of recognizable picture languages is the one recognized by existential monadic second-order logic. The proof presented is a recent one that makes the relation between tilings and logic clear in the proof. By way of the proof we also study the locality of the model theory of picture structures through logical locality obtained by normalization of EMSO on those structures.
A continuing theme in the work is also to compare automata and recognizability between word and picture languages. In the fourth section we briefly look at topics related to computativity and computational complexity of recognizable picture languages
- …