The last rule tells us that, given a pair in the yield of A, we can obtain an element in the yield of S by concatenating the two components.
the language generated by this grammar is The terms of grammar fan-out and rank and the properties of monotonicity and ε-freeness will be referred to later and are therefore introduced in the following definition.