Area of a circle of Cnidus in the fifth century B.C. had found that the area of a disk is proportional to its radius squared. Archimedes used the tools of Euclidean geometry to show that the area inside a circle is equal to that of a right triangle whose base has the length of the circle's circumference and whose height equals the circle's radius in his book "Measurement of a Circle". The circumference is 2"r", and the area of a triangle is half the base times the height, yielding the area "r" for the disk. Prior to Archimedes, Hippocrates of Chios was the first
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