.
6 , BEGIN, .
, , . , .
, , , . , , , .
IF WHILE . , .
, , , . , .
.
, . , .
: , , , , .
P CF Pascal P P. .
, -, , . box-.
.
INPUT OUTPUT -, , .. INPUT OUTPUT .
, .
PROGRAM Copy1 (INPUT, OUTPUT);
VAR
Ch1: CHAR;
Ch2: CHAR;
F1: TEXT;
BEGIN
REWRITE(F1);
Ch1:= B;
READ(Ch2);
WRITE(F1, Ch2);
END.
ABC :
|
|
INPUT | OUTPUT | F1 | Ch1 | Ch2 | |
PROGRAM Copy1 (INPUT, OUTPUT); VAR Ch1: CHAR; Ch2: CHAR; F1: TEXT; BEGIN REWRITE(F1); Ch1:= B; READ(Ch2); WRITE(F1, Ch2); END. | A BC/ A B C/ | _ | ? _ A_ | ? B | ? A |
INPUT, OUTPUT, F1, Ch1, Ch2 . ( ). -. , READ 5- :
s = {<INPUT, <A, BCÑ/, R>>, <OUTPUT, <, , W>>,
<F1, <, , W>>, <Ch1, B>, <Ch2, A>}
. , INPUT 3-, <A, BCÑ/, R.
, , . s , (domain) , () .
. , , .
( ) , . , , s, :
t = {<INPUT, <A, BCÑ/, R>>, <OUTPUT, <, , W>>,
<F1, <A, , W>>, <Ch1, B>, <Ch2, A>}
t s <F1, <A, , W>>, WRITE. WRITE, t s , s.
s t , (value-).
s(INPUT) = <A, BCÑ/, R>
t(Ch1) = B
. F1, Ch1, Ch2 , . .
u = {<INPUT, <, ABCÑ/, R>>, <OUTPUT, <, , W>>}
u ,
{<INPUT, <OUTPUT}
u s, , , . F1, Ch1 Ch2 , . , Ch1 ,
|
|
v = {<INPUT, <, ABCÑ/, R>>, <OUTPUT, <, , W>>, <Ch1, x>}
x . , v, . , , v(Ch1) , , , ? .
, .
- - . .
- .
- , , .
s :
s = {INPUT<A, BC/, R>, OUTPUT<, , W>, F1<, , W>, Ch1B, Ch2A}
.
. ( ) . INPUT OUTPUT, , .
L , , ..
L = <L1, L2, , Ln>
(L1Ñ/)&(L2Ñ/)& &(LnÑ/)
INPUT.
H = PROGRAM & N & (INPUT, OUTPUT)
N, H :
H = {<<L1, L2, , Ln>, s>: s = {INPUT <, x, R>, OUTPUT <, , W>}
x = (L1Ñ/)&(L2Ñ/)& &(LnÑ/) }
, :
H = PROGRAM N (INPUT, OUTPUT)
N -
PROGRAM Copy1 (INPUT, OUTPUT) (AB, CD) =
{INPUT <, (ABÑ/)&(CDÑ/), R>, OUTPUT <, , W>}
OUTPUT , . .
,
. = {<s, <L1, L2, , Ln>>: s(OUTPUT) = <(L1Ñ/)&(L2Ñ/)& &(LnÑ/), , W>}
s, , OUTPUT, . :
. ({INPUT < ABCÑ/, , R>, OUTPUT <(ABÑ/)&(CDÑ/), , W>}) =
< AB,CD >
AB
CD
.