free variable
free variable In an expression, a variable whose value must be known in order for the whole expression to be evaluated. The idea depends on distinguishing different ways in which variables can occur in expressions; it arises in connection with all variable-binding operators, such as the logical quantifiers and function symbols. It can also be seen as a formalization of the idea of global and local variables in programs.
For example, in the following lambda expression, λf . g(f(λx . x),x,y),
the variable x occurs three times. The first occurrence, since it immediately follows a λ, introduces a new “binding” of x, and is therefore called a binding occurrence. The second occurrence of x falls inside the “scope” of this binding and is therefore called a bound occurrence. The third x is not within the scope of any such binding and is therefore called a free occurrence. Equally, the variable f has a binding occurrence and a bound occurrence, while g and y just have one free occurrence each. Since only x, y, and g have free occurrences, they are referred to as the free variables of the expression. The value of the whole expression then depends on what values are given to these free occurrences.
Note that freeness depends on the expression under consideration; thus, although f does not occur free in the whole expression above, it does so in the subexpression g(f(λx . x),x,y).
For example, in the following lambda expression, λf . g(f(λx . x),x,y),
the variable x occurs three times. The first occurrence, since it immediately follows a λ, introduces a new “binding” of x, and is therefore called a binding occurrence. The second occurrence of x falls inside the “scope” of this binding and is therefore called a bound occurrence. The third x is not within the scope of any such binding and is therefore called a free occurrence. Equally, the variable f has a binding occurrence and a bound occurrence, while g and y just have one free occurrence each. Since only x, y, and g have free occurrences, they are referred to as the free variables of the expression. The value of the whole expression then depends on what values are given to these free occurrences.
Note that freeness depends on the expression under consideration; thus, although f does not occur free in the whole expression above, it does so in the subexpression g(f(λx . x),x,y).
More From encyclopedia.com
George Boole , Boole, George
Boole, George
(b. Lioncoln, England, 1815; d. Cork, Ireland, 1864)
mathematics.
George Boole was the son of John Boole, a cobbler whose… Diophantus Of Alexandria , Diophantus of Alexandria
Diophantus of Alexandria
(fl. ad. 250)
mathematics.
We know virtually nothing about the life of Diophantus. The dating of hi… Lysithea , Lysithea (Jupiter X) One of the lesser satellites of Jupiter, with a diameter of 24km. Domain , Domain
The domain of a relation is the set that contains all the first elements, x, from the ordered pairs (x,y) that make up the relation. In mathem… Coefficient , coefficient •abeyant, mayn't •ambient, circumambient •gradient, irradiant, radiant •expedient, ingredient, mediant, obedient •valiant • salient • res… inverse , inverse
1. (converse) of a binary relation R. A derived relation R–1 such that whenever x R y then y R–1 x
where x and y are arbitrary elements of th…
You Might Also Like
NEARBY TERMS
free variable