  We give a characterization of those sets of graphs that are both definable in
Counting Monadic Second Order Logic (CMS) and context-free, i.e., least
solutions of Hyperedge-Replacement (HR)-grammars introduced by Courcelle and
Engelfriet. We give the following equivalent characterizations:
  (a) a set of graphs is recognizable (in the algebra that consists of all
graphs and HR-operations) and has bounded tree-width; further, we refine this
condition and show equivalence with recognizability in a finite-sort subalgebra
of the graph algebra;
  (b) the set is parsable, i.e., there is an MS-definable transduction from
graphs to a set of derivation trees labelled by HR-operations, such that the
set of graphs is the image of this set of trees under the evaluation of the
HR-operations;
  (c) the set of graphs is the image of unranked recognizable set of trees
under an MS-definable transduction whose inverse is also MS-definable.
  The main goal of this paper is to present the above characterization, of
which several directions are already known, in an accessible and unified way.
We rely on a novel connection between two seminal results, a logical
characterization of context-free graph languages in terms of tree to graph
MS-definable transductions, by Courcelle and Engelfriet~, and a proof that an
optimal-width tree decomposition of a graph can be built by an MS-definable
transduction, by Bojanczyk and Pilipczuk.
