Measurement of a Circle Measurement of a Circle Measurement of a Circle or Dimension of the Circle (Greek: , "Kuklou metrēsis") is a treatise that consists of three propositions by Archimedes, ca. 250 BCE. The treatise is only a fraction of what was a longer work. Proposition one states: The area of any circle is equal to a right-angled triangle in which one of the sides about the right angle is equal to the radius, and the other to the circumference, of the circle. Any circle with a circumference "c" and a radius "r" is equal in area with a right triangle with 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