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 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