8
, , , .. , . .
, .. (), . (, ). , . , , , .
. , , .
, .
, , , .
1.
, 1 . , .
: () ( , ).
^ |
: 2 : 1, . , 0 1, 1 . / 1, 1 , .. 0.
S1 | S2 | : S1 1, S2 . | |
S1 | S2 | , S1 | |
0 S2 | 0 S1 | ||
B | 0 S1! | 1 S2! |
: . 1, 0, , . . 0, , . , . S1, 0, S2, 1 .
2.
, . , , .. ( ). .
|
|
: () .
( | ( | ) | ( | ) | ) | |||||||
^ |
: ) , (, , . , :
1) , (, 0 .
2) , ) . - (:
( , 0
(, 1.
S1 ()
S2 ()
S3 (), ")". .. "(" S4, , 0
S1.
S1 | S2 | S3 | S4 | |
) | S2 | - | - | |
( | S1 | S4 | ||
S3 | 0! | 1! | 0! | |
"-" , .
3. , ={,}. .. .
.
, , *. (Æ).
* | Æ | Æ | Æ | |||||||||
^ |
, : , , *, Æ.
: . S1. ={,}, , .. Æ, , . , , .. . , ( ) S1, . S1 *, , , . .
.
* | Æ | Æ | Æ | |||||||||
^ |
|
|
* | Æ | Æ | Æ | |||||||||
^ |
* | Æ | Æ | Æ | |||||||||
^ |
* | Æ | Æ | Æ | |||||||||
^ |
* | Æ | Æ | Æ | |||||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
* | Æ | Æ | Æ | Æ | Æ | |||||||
^ |
S1.
S1 | S2 | S3 | S4 | |
Æ S2 | ||||
Æ S3 | ||||
* | ! | - | - | - |
Æ | S4 | S4 | S1 |
S2 S3 , (S2) "", "", "".
4. /.
.
| | | | | | + | | | | | | | ||||||
^ |
. , , .
. ( ), ( "|" , , ) . , "|" , . , "|" .
S1.
S1 | S2 | S3 | |
Æ S2 | |||
Æ | - | 1 S3 | S1 |
+ | ! |
. "+". .
, "+" ( ..), .
|
|