Area of a circle each polygon side is a radius, of length "r". And since the total side length is greater than the circumference, the polygon consists of "n" identical triangles with total area greater than "T". Again we have a contradiction, so our supposition that "C" might be less than "T" must be wrong as well. Therefore, it must be the case that the area enclosed by the circle is precisely the same as the area of the triangle. This concludes the proof. Following Satō Moshun and Leonardo da Vinci , we can use inscribed regular polygons in a different way. Suppose we
Straight-line grammar definition of the more general formalism of straight-line context-free tree grammars can be found in Lohrey et al. An SLG in Chomsky normal form is equivalent to a straight-line program. Straight-line grammar A straight-line grammar (sometimes abbreviated as SLG) is a formal grammar that generates exactly one string. Consequently, it does not branch (every non-terminal has only one associated production rule) nor loop (if non-terminal "A" appears in a derivation of "B", then "B" does not appear in a derivation of "A"). Straight-line grammars are widely used in the development of algorithms that execute directly on compressed structures (without prior