Area of a circle "ds" over the whole circle formula_33 is just the arc length, which is its circumference, so this shows that the area "A" enclosed by the circle is equal to formula_34 times the circumference of the circle. Note that the area of a semicircle of radius r can be computed by the integral formula_35. By trigonometric substitution, we substitute formula_36, hence formula_37 The last step follows since the trigonometric identity formula_42 implies that formula_43 and formula_44 have equal integrals over the interval formula_45, using integration by substitution. But on the other hand, since formula_46, the sum of the two integrals is
Straight-line grammar minimal size that generates a given string is called the smallest grammar problem. Straight-line grammars (more precisely: straight-line context-free string grammars) can be generalized to "Straight-line context-free tree grammars". The latter can be used conveniently to compress trees. A context-free grammar "G" is an SLG if: 1. for every non-terminal "N", there is at most one production rule that has "N" as its left-hand side, and 2. the directed graph "G"=<"V","E">, defined by "V" being the set of non-terminals and ("A","B") ∈ "E" whenever "B" appears at the right-hand side of a production rule for "A", is acyclic. A mathematical