
We introduce bud generating systems, which are used for combinatorial
generation. They specify sets of various kinds of combinatorial objects, called
languages. They can emulate contextfree grammars, regular tree grammars, and
synchronous grammars, allowing us to work with all these generating systems in
a unified way. The theory of bud generating systems uses colored operads.
Indeed, an object is generated by a bud generating system if it satisfies a
certain equation in a colored operad. To compute the generating series of the
languages of bud generating systems, we introduce formal power series on
colored operads and several operations on these. Series on colored operads are
crucial to express the languages specified by bud generating systems and allow
us to enumerate combinatorial objects with respect to some statistics. Some
examples of bud generating systems are constructed; in particular to specify
some sorts of balanced trees and to obtain recursive formulas enumerating
these.

A new hierarchy of combinatorial operads is introduced, involving families of
regular polygons with configurations of arcs, called decorated cliques. This
hierarchy contains, among others, operads on noncrossing configurations,
Motzkin objects, forests, dissections of polygons, and involutions. All this is
a consequence of the definition of a general functorial construction from
unitary magmas to operads. We study some of its main properties and show that
this construction includes the operad of bicolored noncrossing configurations
and the operads of simple and double multitildes. We focus in more details on
a suboperad of noncrossing decorated cliques by computing its presentation, its
Koszul dual, and showing that it is a Koszul operad.

The vector space of all polygons with configurations of diagonals is endowed
with an operad structure. This is the consequence of a functorial construction
$\mathsf{C}$ introduced here, which takes unitary magmas $\mathcal{M}$ as input
and produces operads. The obtained operads involve regular polygons with
configurations of arcs labeled on $\mathcal{M}$, called $\mathcal{M}$decorated
cliques and generalizing usual polygons with configurations of diagonals. We
provide here a complete study of the operads $\mathsf{C}\mathcal{M}$. By
considering combinatorial subfamilies of $\mathcal{M}$decorated cliques
defined, for instance, by limiting the maximal number of crossing diagonals or
the maximal degree of the vertices, we obtain suboperads and quotients of
$\mathsf{C}\mathcal{M}$. This leads to a new hierarchy of operads containing,
among others, operads on noncrossing configurations, Motzkin configurations,
forests, dissections of polygons, and involutions. We show that the suboperad
of noncrossing configurations is Koszul and exhibit its presentation by
generators and relations. Besides, the construction $\mathsf{C}$ leads to
alternative definitions of several operads, like the operad of bicolored
noncrossing configurations and the operads of simple and double multitildes.

We introduce a general construction that takes as input a socalled stiff PRO
and that outputs a Hopf algebra. Stiff PROs are particular PROs that can be
described by generators and relations with precise conditions. Our construction
generalizes the classical construction from operads to Hopf algebras of van der
Laan. We study some of its properties and review some examples of application.
We get in particular Hopf algebras on heaps of pieces and retrieve some
deformed versions of the noncommutative Fa\`a di Bruno algebra introduced by
Foissy.

We introduce a functor ${\sf As}$ from the category of posets to the category
of nonsymmetric binary and quadratic operads, establishing a new connection
between these two categories. Each operad obtained by the construction ${\sf
As}$ provides a generalization of the associative operad because all of its
generating operations are associative. This construction has a very singular
property: the operads obtained from ${\sf As}$ are almost never basic. Besides,
the properties of the obtained operads, such as Koszulity, basicity,
associative elements, realization, and dimensions, depend on combinatorial
properties of the starting posets. Among others, we show that the property of
being a forest for the Hasse diagram of the starting poset implies that the
obtained operad is Koszul. Moreover, we show that the construction ${\sf As}$
restricted to a certain family of posets with Hasse diagrams satisfying some
combinatorial properties is closed under Koszul duality.

Dendriform algebras form a category of algebras recently introduced by Loday.
A dendriform algebra is a vector space endowed with two nonassociative binary
operations satisfying some relations. Any dendriform algebra is an algebra over
the dendriform operad, the Koszul dual of the diassociative operad. We
introduce here, by adopting the point of view and the tools offered by the
theory of operads, a generalization on a nonnegative integer parameter $\gamma$
of dendriform algebras, called $\gamma$polydendriform algebras, so that
$1$polydendriform algebras are dendriform algebras. For that, we consider the
operads obtained as the Koszul duals of the $\gamma$pluriassociative operads
introduced by the author in a previous work. In the same manner as dendriform
algebras are suitable devices to split associative operations into two parts,
$\gamma$polydendriform algebras seem adapted structures to split associative
operations into $2\gamma$ operation so that some partial sums of these
operations are associative. We provide a complete study of the
$\gamma$polydendriform operads, the underlying operads of the category of
$\gamma$polydendriform algebras. We exhibit several presentations by
generators and relations, compute their Hilbert series, and construct free
objects in the corresponding categories. We also provide consistent
generalizations on a nonnegative integer parameter of the duplicial,
triassociative and tridendriform operads, and of some operads of the operadic
butterfly.

Diassociative algebras form a categoy of algebras recently introduced by
Loday. A diassociative algebra is a vector space endowed with two associative
binary operations satisfying some very natural relations. Any diassociative
algebra is an algebra over the diassociative operad, and, among its most
notable properties, this operad is the Koszul dual of the dendriform operad. We
introduce here, by adopting the point of view and the tools offered by the
theory of operads, a generalization on a nonnegative integer parameter $\gamma$
of diassociative algebras, called $\gamma$pluriassociative algebras, so that
$1$pluriassociative algebras are diassociative algebras. Pluriassociative
algebras are vector spaces endowed with $2\gamma$ associative binary operations
satisfying some relations. We provide a complete study of the
$\gamma$pluriassociative operads, the underlying operads of the category of
$\gamma$pluriassociative algebras. We exhibit a realization of these operads,
establish several presentations by generators and relations, compute their
Hilbert series, show that they are Koszul, and construct the free objects in
the corresponding categories. We also study several notions of units in
$\gamma$pluriassociative algebras and propose a general way to construct such
algebras. This paper ends with the introduction of an analogous generalization
of the triassociative operad of Loday and Ronco.

A permutation is said to be a square if it can be obtained by shuffling two
orderisomorphic patterns. The definition is intended to be the natural
counterpart to the ordinary shuffle of words and languages. In this paper, we
tackle the problem of recognizing square permutations from both the point of
view of algebra and algorithms. On the one hand, we present some algebraic and
combinatorial properties of the shuffle product of permutations. We follow an
unusual line consisting in defining the shuffle of permutations by means of an
unshuffling operator, known as a coproduct. This strategy allows to obtain easy
proofs for algebraic and combinatorial properties of our shuffle product. We
besides exhibit a bijection between square $(213,231)$avoiding permutations
and square binary words. On the other hand, by using a pattern avoidance
criterion on oriented perfect matchings, we prove that recognizing square
permutations is $\mathbf{NP}$complete.

We introduce, by adopting the point of view and the tools offered by the
theory of operads, a generalization on a nonnegative integer parameter $\gamma$
of diassociative algebras of Loday, called $\gamma$pluriassociative algebras.
By Koszul duality of operads, we obtain a generalization of dendriform
algebras, called $\gamma$polydendriform algebras. In the same manner as
dendriform algebras are suitable devices to split associative operations into
two parts, $\gamma$polydendriform algebras seem adapted structures to split
associative operations into $2 \gamma$ operations so that some partial sums of
these operations are associative. We provide a complete study of the operads
governing our generalizations of the diassociative and dendriform operads.
Among other, we exhibit several presentations by generators and relations,
compute their Hilbert series, show that they are Koszul, and construct free
objects in the corresponding categories. We also provide consistent
generalizations on a nonnegative integer of the duplicial, triassociative and
tridendriform operads, and of some operads of the operadic butterfly.

We generalize the construction of multitildes in the aim to provide
multitilde operators for regular languages. We show that the underliying
algebraic structure involves the action of some operads. An operad is an
algebraic structure that mimics the composition of the functions. The involved
operads are described in terms of combinatorial objects. These operads are
obtained from more primitive objects, namely precompositions, whose algebraic
counterparts are investigated. One of these operads acts faithfully on
languages in the sense that two different operators act in two different ways.

We construct a new bigraded Hopf algebra whose bases are indexed by square
matrices with entries in the alphabet $\{0, 1, ..., k\}$, $k \geq 1$, without
null rows or columns. This Hopf algebra generalizes the one of permutations of
Malvenuto and Reutenauer, the one of $k$colored permutations of Novelli and
Thibon, and the one of uniform block permutations of Aguiar and Orellana. We
study the algebraic structure of our Hopf algebra and show, by exhibiting
multiplicative bases, that it is free. We moreover show that it is selfdual
and admits a bidendriform bialgebra structure. Besides, as a Hopf subalgebra,
we obtain a new one indexed by alternating sign matrices. We study some of its
properties and algebraic quotients defined through alternating sign matrices
statistics.

We introduce a functorial construction which, from a monoid, produces a
setoperad. We obtain new (symmetric or not) operads as suboperads or quotients
of the operads obtained from usual monoids such as the additive and
multiplicative monoids of integers and cyclic monoids. They involve various
familiar combinatorial objects: endofunctions, parking functions, packed words,
permutations, planar rooted trees, trees with a fixed arity, Schr\"oder trees,
Motzkin words, integer compositions, directed animals, and segmented integer
compositions. We also recover some already known (symmetric or not) operads:
the magmatic operad, the associative commutative operad, the diassociative
operad, and the triassociative operad. We provide presentations by generators
and relations of all constructed nonsymmetric operads.

An operad structure on certain bicoloured noncrossing configurations in
regular polygons is studied. Motivated by this study, a general functorial
construction of enveloping operad, with input a coloured operad and output an
operad, is presented. The operad of noncrossing configurations is shown to be
the enveloping operad of a coloured operad of bubbles. Several suboperads are
also investigated, and described by generators and relations.

We introduce a functorial construction which, from a monoid, produces a
setoperad. We obtain new (symmetric or not) operads as suboperads or quotients
of the operad obtained from the additive monoid. These involve various familiar
combinatorial objects: parking functions, packed words, planar rooted trees,
generalized Dyck paths, Schr\"oder trees, Motzkin paths, integer compositions,
directed animals, etc. We also retrieve some known operads: the magmatic
operad, the commutative associative operad, and the diassociative operad.

We study a functorial construction from the category of monoids to the
category of setoperads and we give some combinatorial examples of
applications.

We give a new construction of a Hopf subalgebra of the Hopf algebra of Free
quasisymmetric functions whose bases are indexed by objects belonging to the
Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary
trees, etc.). This construction relies on the definition of the Baxter monoid,
analog of the plactic monoid and the sylvester monoid, and on a
RobinsonSchenstedlike insertion algorithm. The algebraic properties of this
Hopf algebra are studied. This Hopf algebra appeared for the first time in the
work of Reading [Lattice congruences, fans and Hopf algebras, Journal of
Combinatorial Theory Series A, 110:237273, 2005].

We give a new construction of a Hopf algebra defined first by Reading whose
bases are indexed by objects belonging to the Baxter combinatorial family
(i.e., Baxter permutations, pairs of twin binary trees, etc.). Our construction
relies on the definition of the Baxter monoid, analog of the plactic monoid and
the sylvester monoid, and on a RobinsonSchenstedlike correspondence and
insertion algorithm. Indeed, the Baxter monoid leads to the definition of a
lattice structure over pairs of twin binary trees and the definition of a Hopf
algebra. The algebraic properties of this Hopf algebra are studied and among
other, multiplicative bases are provided, and freeness and selfduality proved.

We show that the set of balanced binary trees is closed by interval in the
Tamari lattice. We establish that the intervals [T, T'] where T and T' are
balanced binary trees are isomorphic as posets to a hypercube. We introduce
synchronous grammars that allow to generate treelike structures and obtain
fixedpoint functional equations to enumerate these. We also introduce
imbalance tree patterns and show that they can be used to describe some sets of
balanced binary trees that play a particular role in the Tamari lattice.
Finally, we investigate other families of binary trees that are also closed by
interval in the Tamari lattice.

We show that the set of balanced binary trees is closed by interval in the
Tamari lattice. We establish that the intervals [T0, T1] where T0 and T1 are
balanced trees are isomorphic as posets to a hypercube. We introduce tree
patterns and synchronous grammars to get a functional equation of the
generating series enumerating balanced tree intervals.