Area of a circle Archimedes is not rigorous by modern standards, because it assumes that we can compare the length of arc of a circle to the length of a secant and a tangent line, and similar statements about the area, as geometrically evident. The area of a regular polygon is half its perimeter times the apothem. As the number of sides of the regular polygon increases, the polygon tends to a circle, and the apothem tends to the radius. This suggests that the area of a disk is half the circumference of its bounding circle times the radius. Following Archimedes' argument in "The
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