In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in head position.
Read more about Beta Normal Form: Beta Reduction
Famous quotes containing the words normal and/or form:
“The basic thing nobody asks is why do people take drugs of any sort?... Why do we have these accessories to normal living to live? I mean, is there something wrong with society that’s making us so pressurized, that we cannot live without guarding ourselves against it?”
—John Lennon (1940–1980)
“Have you never been moved by poor men’s fidelity, the image of you they form in their simple minds? Why should you always talk of their envy, without understanding that what they ask of you is not so much your worldly goods, as something very hard to define, which they themselves can put no name to; yet at times it consoles their loneliness; a dream of splendor, of magnificence, a tawdry dream, a poor man’s dream—and yet God blesses it!”
—Georges Bernanos (1888–1948)