818 research outputs found
Linear indexed languages
AbstractIn this paper one characterization of linear indexed languages based on controlling linear context-free grammars with context-free languages and one based on homomorphic images of context-free languages are given. By constructing a generator for the family of linear indexed languages, it is shown that this family is a full principal semi-AFL. Furthermore a Parikh theorem for linear indexed languages is stated which implies that there are indexed languages which are not linear
Eilenberg theorems for many-sorted formations
A theorem of Eilenberg establishes that there exists a bijection between the
set of all varieties of regular languages and the set of all varieties of
finite monoids. In this article after defining, for a fixed set of sorts
and a fixed -sorted signature , the concepts of formation of
congruences with respect to and of formation of -algebras, we
prove that the algebraic lattices of all -congruence formations and of
all -algebra formations are isomorphic, which is an Eilenberg's type
theorem. Moreover, under a suitable condition on the free -algebras and
after defining the concepts of formation of congruences of finite index with
respect to , of formation of finite -algebras, and of formation
of regular languages with respect to , we prove that the algebraic
lattices of all -finite index congruence formations, of all
-finite algebra formations, and of all -regular language
formations are isomorphic, which is also an Eilenberg's type theorem.Comment: 46 page
Algebraic Theories over Nominal Sets
We investigate the foundations of a theory of algebraic data types with
variable binding inside classical universal algebra. In the first part, a
category-theoretic study of monads over the nominal sets of Gabbay and Pitts
leads us to introduce new notions of finitary based monads and uniform monads.
In a second part we spell out these notions in the language of universal
algebra, show how to recover the logics of Gabbay-Mathijssen and
Clouston-Pitts, and apply classical results from universal algebra.Comment: 16 page
On FO2 quantifier alternation over words
We show that each level of the quantifier alternation hierarchy within
FO^2[<] -- the 2-variable fragment of the first order logic of order on words
-- is a variety of languages. We then use the notion of condensed rankers, a
refinement of the rankers defined by Weis and Immerman, to produce a decidable
hierarchy of varieties which is interwoven with the quantifier alternation
hierarchy -- and conjecturally equal to it. It follows that the latter
hierarchy is decidable within one unit: given a formula alpha in FO^2[<], one
can effectively compute an integer m such that alpha is equivalent to a formula
with at most m+1 alternating blocks of quantifiers, but not to a formula with
only m-1 blocks. This is a much more precise result than what is known about
the quantifier alternation hierarchy within FO[<], where no decidability result
is known beyond the very first levels
- …