, P . , P , P .
, READ, , . , Q :
PROGRAM ReadWriteRead(INPUT, OUTPUT);
VAR
Ch: CHAR;
BEGIN
READ(Ch);
WRITELN(Ch);
READ(Ch)
END.
, . , .
, READ . INPUT - 1-, , READ ( ), .
INPUT , READ , READ , , . Q INPUT OUTPUT. INPUT 2- -, , READ , RED , , . Q OUTPUT. Q, INPUT OUTPUT.
Q = {<L, M>: L ¹ <>, L1 ¹ , M = <Ñ (Θ L1)>,} È
{<L, M>: L ¹ <>, Λ L ¹ <>, L1 = , M =□}
, L1, L INPUT.
Q Q .
domain (Q) = {L: L ¹ <>, L1 ¹ } È { L: L ¹ <>, Λ L ¹ <>, L1 = }
range (Q) 1- 1-, . ,
range (Q) = {M: M 1-, 1-}
, , , , L 1- - .
R:
PROGRAM CopyTwice(INPUT, OUTPUT);
VAR
Ch: CHAR;
BEGIN
READ(Ch);
READ(Ch);
WRITE (Ch);
WRITELN(Ch);
END.
, R, , L INPUT, .
| L = <> | |
| L ¹ <> | L1 |
| L1 = | L2 |
| Λ L = <> | |
| Λ L ¹ <> | L2 |
| L2 = | |
| L2 ¹ | Θ L2 |
| L1 ¹ | L1 |
| Λ L1 = | |
| Λ L1 ¹ | Θ (Λ L1) |
|
|
|
R :
R = {<L, M>: L ¹ <>, L1 = , Λ L ¹ <>, L2 = , M = <□□>} È
{<L, M>: L ¹ <>, L1 = , Λ L ¹ <>, L2 ¹ , M = <(Ñ(Θ L2))Ñ (Θ L2)>} È
{<L, M>: L ¹ <>, L1 ¹ , Λ L1 = , M = <□□>} È
{<L, M>: L ¹ <>, L1 ¹ , Λ L1 ¹ , M = <(Ñ(Θ (Λ L1)))Ñ (Θ (Λ L1))>}.
, CF Pascal . (&), (Ñ) (Θ Λ). 3- , .
(È), (Ç), (). , , .
Box- P ( ) P ( ).
