A complete grammar for decomposing a family of graphs into 3-connected components.
We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer and every set of words over satisfying there exist a word over and a sequence of left variable words over such that the set is contained in . While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.