.
3
(). () (). . (, , ) /. .
) - (. ), .
( ) , () ().
) , .
, ( ) , .
) - ,
( ) < a1,, ai,,an> , ai , i . << Eof(f) >>, <<Reset(f)>>
read(f,x) :
{f→<a1, , an>, iàI, eof(f)→false}
read(f,x)
{f→<a1, , an>, x→ai, iàI+1}
eof(f)=true read .
D) , .
- (+,-,*,/), =.
, . ++- , --- .
/- , .
Write(Writeln) Read (Readln).
Writeln , Write , , Writeln.
Readln- , Read.
) . , , . , .
4
. :
1. ( );
2. , , .
|
|
|
, .
, . , , , true false. - .
- ( ), , , , .
,
, .
.
, . ( )
, , , .
. , , . , .
\.
-
( )
( ).
x,y:=y,x
x:=X y:=Y
| x:=xy y:=x/y x:=x/y | z:=x x:=y y:=z | x:=x+y y:=x-y x:=x-y |
, .
5
, , .
-, , , - (-).
- .
():
1.
S1 S2 -, S1→ S2 .
2. . . 
:
3.
:
i0 , B , S .
|
|
|
/ " ".
.
6
