- , . - , , , , , .
1. - (.5.15).
- . , , , p2. - , , p1. , , , 11. ′ 1 ′ 1 ′ 1 , , . . Σ, Δ, α, p 1. , , , ( Z, Z, Z) .
 |
2. ³ - (.5.16).
. , p2, . 11 ′ 1 ′ 1 , . ′ 2 ′ 2 . ′ 2 ′ 2 ′′ 2 ′′ 2 , . ′′ 1 = ′′ 1. , p1.
|
1 ?
2 .
3 ?
4 ?
5 , ? ?
6 D . D .
|
|
|
7 :
) ;
) ;
) .
8 .
9 ?
10 - ?
11 - :
- ;
- , .
12 ?
) ;
) ;
) .
13 , - ?
)
) ;
) - ;
) - .
14 , ?
) ;
) ;
) - ;
) - .
15 (11, 22) - ?
| 
| 
|
16 - , ABC - ?
| ) 11 ; |
| )1C1 ; | |
| )11 ; | |
| )11 . |
17 , ABC (A1B1C1, 222), - ?
| 
| 
|
18 ?
) ;
) ;
) .
19 ?
) ;
) ;
) .
20 
(12), - , ?
| 
| 
|
21 
D(Dl,D2), - , ?
| 
| 
|
22 
(1,2), , ?
| 
| 
|
