8
, . 5.2 . , , . , , , .
(), , , .
, , :
(a,(b,c,d),e,(f,g))
()
((a))
: a, (b,c,d) ( b,c,d), e (f,g), f g. , , . : (a), .
, , - , , . ; , . .5.12.
.5.12.
: , .
. , , . (x,y,z) x y, y z. , x z. (y,z,x). . : , , .
. , . , .. , . , .5.12), a e 1, - b, c, d, f g 2. 2. , l. l x, l(x), , , . .5.12 l(a)=0, l(b)=1 .. .
|
|
- 1 . , .5.12 3.
- . :
< 1 > < > < 2 >
.5.13. ,
:
(a+b)*(c-(d/e))+f
:
a+b
d/e
c-(d/e)
(a+b)*(c-d/e)
(a+b)*(c-d/e)+f
"--" , , - , . :
(((a,+,b),*,(c,-,(d,/,e)),+,f)
4, - 3.
.
, .5.14.
.5.14.
: - - . down , - data. , .5.15.
.5.15.
type /, 1-. , . , data. . .5.16.
. 5.16.
down . , down , , , .. , . , . type , , 1 /, , next - , , . .5.17 : (,(12,7,53),d). () , - , - , - . type : n - , S - , STRING, I - , INTEGER, C - , CHAR.
|
|
.5.17.