.


:




:

































 

 

 

 


.




.

 

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) , , , ? .

 

, .

  1. - . .
  2. .
  3. , , .

 

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

 

.

 





:


: 2017-03-12; !; : 757 |


:

:

, ,
==> ...

787 - | 793 -


© 2015-2024 lektsii.org - -

: 0.015 .