|
«
[ Back to Home ] »
<< Return to
Computer Dictionary Home
|
.
|
Computer
Dictionary Online
|
 |
|
|
A to Z Computer
Terms Dictionary, Definitions Search
|
0-9 |
A
|
B |
C
|
D
|
E |
F
|
G
|
H
|
I |
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q |
|
R
|
S
|
T |
U
|
V
|
W
|
X
|
Y |
Z
|
|
| |
linear function definition
A recursive function is linear if it is of the form
f x = if p x then q x else h f x
where h is a "linear functional" which means that
(1) for all functions, a, b c and some function ht
h (if a then b else c) = if ht a then h b else h c
Function ht is known as the "predicate transformer" of h.
(2) If for some x,
h (\ y . bottom) x /= bottom
then
for all g, ht g x = True.
I.e. if h g x terminates despite g x not terminating then ht g
x doesn't depend on g.
See also linear argument.
(1995-02-15)
Nearby terms:
linear address space « linear argument « linear assignment « linear function » Linear Graph Notation » linear logic » linear map
|
|
|
|
|
|
|
computer dictionary,
computer terms dictionary, online computer dictionary,
computer definition dictionary online, microsoft
computer dictionary fifth edition, computer lingo
dictionary, computer terminology dictionary, computer
computer dictionary dictionary internet internet
terms terms, barrons business computer dictionary
dictionary internet terms, abbreviation computer
dictionary lingo, computer dictionary edition new
tenth websters world, computer dictionary with terms
and definition, computer science dictionary, american
computer dictionary house language random sign websters,
dictionary computer internet terms, microsoft computer
dictionary, computing dictionary
|
[
Home
] [
Law Dictionary
] [
Medical Dictionary
] [
Computer Dictionary
]
|
|
Advertisers :
www.hobbyprojects.com,
www.sciencelobby.com,
www.hotgamecheater.com,
www.indianfoodrecipes.net,
www.joyeemukherjee.com,
www.beautytipsforwomen.net
|
Best Online Dictionary
.com
|
|
