280 research outputs found
M\"obius inversion formula for monoids with zero
The M\"obius inversion formula, introduced during the 19th century in number
theory, was generalized to a wide class of monoids called locally finite such
as the free partially commutative, plactic and hypoplactic monoids for
instance. In this contribution are developed and used some topological and
algebraic notions for monoids with zero, similar to ordinary objects such as
the (total) algebra of a monoid, the augmentation ideal or the star operation
on proper series. The main concern is to extend the study of the M\"obius
function to some monoids with zero, i.e., with an absorbing element, in
particular the so-called Rees quotients of locally finite monoids. Some
relations between the M\"obius functions of a monoid and its Rees quotient are
also provided.Comment: 12 pages, r\'esum\'e \'etendu soumis \`a FPSAC 201
The Tutte-Grothendieck group of a convergent alphabetic rewriting system
The two operations, deletion and contraction of an edge, on multigraphs
directly lead to the Tutte polynomial which satisfies a universal problem. As
observed by Brylawski in terms of order relations, these operations may be
interpreted as a particular instance of a general theory which involves
universal invariants like the Tutte polynomial, and a universal group, called
the Tutte-Grothendieck group. In this contribution, Brylawski's theory is
extended in two ways: first of all, the order relation is replaced by a string
rewriting system, and secondly, commutativity by partial commutations (that
permits a kind of interpolation between non commutativity and full
commutativity). This allows us to clarify the relations between the semigroup
subject to rewriting and the Tutte-Grothendieck group: the later is actually
the Grothendieck group completion of the former, up to the free adjunction of a
unit (this was even not mention by Brylawski), and normal forms may be seen as
universal invariants. Moreover we prove that such universal constructions are
also possible in case of a non convergent rewriting system, outside the scope
of Brylawski's work.Comment: 17 page
Convolution, Separation and Concurrency
A notion of convolution is presented in the context of formal power series
together with lifting constructions characterising algebras of such series,
which usually are quantales. A number of examples underpin the universality of
these constructions, the most prominent ones being separation logics, where
convolution is separating conjunction in an assertion quantale; interval
logics, where convolution is the chop operation; and stream interval functions,
where convolution is used for analysing the trajectories of dynamical or
real-time systems. A Hoare logic is constructed in a generic fashion on the
power series quantale, which applies to each of these examples. In many cases,
commutative notions of convolution have natural interpretations as concurrency
operations.Comment: 39 page
Automata and rational expressions
This text is an extended version of the chapter 'Automata and rational
expressions' in the AutoMathA Handbook that will appear soon, published by the
European Science Foundation and edited by JeanEricPin
Commutative positive varieties of languages
We study the commutative positive varieties of languages closed under various
operations: shuffle, renaming and product over one-letter alphabets
Kleene algebra with domain
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra
with two equational axioms for a domain and a codomain operation, respectively.
KAD considerably augments the expressiveness of Kleene algebra, in particular
for the specification and analysis of state transition systems. We develop the
basic calculus, discuss some related theories and present the most important
models of KAD. We demonstrate applicability by two examples: First, an
algebraic reconstruction of Noethericity and well-foundedness; second, an
algebraic reconstruction of propositional Hoare logic.Comment: 40 page
- …