. INPUT. , INPUT: . .
INPUT 2- , / , READ. , INPUT 2- L, . , L1 ( ), , L2 , ( ). , INPUT < L1, L2>. , ABC,
L1 = A, L2 = BC Ñ /
./ - .
, READ WRITE .
INPUT L = < L1, L2>, L2 ¹ . READ(Ch) .
Ch Θ L2
INPUT < L1Ñ Θ L2, Λ L2>
READ(Ch), Ch .
Θ L2 = Θ(BC Ñ /) = B
INPUT :
< L1Ñ Θ L2, Λ L2>
= <AÑ Θ (BC Ñ /), Λ (BC Ñ /)>
= <AÑ B), C Ñ /)>
= <A B), C Ñ /)>
, OUTPUT <L1, > v Ch. WRITE(Ch) : OUTPUT <L1 Ñ v, >.
2- , CF Pascal . , READ OUTPUT. TEXT, , . ,
REWRITE(F1);
WRITE(F1, Ch);
WRITELN(F1);
RESET(F1);
READ(F1, Ch);
,
REWRITE(F2);
WRITE(F2, Ch);
READ(F2, Ch);
, F2 READ RESET.
, , , 2- 3-, , , R W, .
, .
RESET | REWRITE | READ/READLN | WRITE/WRITELN | |
R | R | W | R | |
W | R | W | W |
|
|
, R, REWRITE W. READ/READLN c W , W .
READ WRITE 3-. .
F1 | Ch ( v) | ||
REWRITE(F1) | <x, y, t> | <, , W> | |
WRITE(F1, Ch) | <x, , W> | <xÑv, , W> | v |
WRITELN(F1, Ch) | <x, , W> | <xÑvÑ/, , W> | v |
RESET(F1) | <x, y, t> | <, x&y, R> | |
READ(F1, Ch) | <x, yÑ/, R> | <xÑ(Θ(yÑ/)), Λ(yÑ/), R> | Θ(yÑ/) |
READLN(F1) | <x, (yÑ/)&z, R> (y /) | <x&(yÑ/), z, R> | Θ(yÑ/) |
, REWRITE. <x, y, t> <, , W> x, y t.
3-.
F1 | Ch | |
VAR Ch:CHAR; F1: TEXT; BEGIN Ch:= A; REWRITE(F1); WRITE(F1, Ch); Ch:= B; WRITELN(F1); RESET(F1); READ(F1, Ch); READ(F1, Ch); END. | ? <, , W> <A, , W> <AÑ /, , W> <, AÑ /, R> <A, Ñ /, R> <AÑ /, , R> | ? A B A □ |
READ EOLN TRUE, READ EOF TRUE, READ, .
, . , .
: , , , , , , , ().
, . , . .
. , , . :
{A, B} {B, A} .
, ( ). ,
L = <th, is , is , a , list example>
S = {th, is , a , list example}
is . ,
S = {list example, a , is ,th } = {th, a , list example, is }
|
|
, , S 4-.
, 3-
{A, mixed, <can, {of, beans}>}
, , 2-, 2-, .
, Î.
list example Î S
list Ï S
, {}. <>. <> , {}. 1- (singleton). 1- , . :
string ¹ {string} ¹ <string>
S T, S Í T, S T. , S Í T x, x Î T x Î S.
S T , S = T, . , S = T, S Í T T Í S.
, , , , . {} Í S, S.
S T , , .