, . q- :
S → (B)B
B → B)B
B → e
:
(1) = (S → (B)B) = {(}
(2) = (B → B)B) = {(}
(3) = (B → e) = (B) = {), ┤ }
, q-. , , q-, , . :
( | ) | ┤ | |
S | ↕ B)B,→ | ||
B | ↕ B)B,→ | ↑ | ↑ |
) | ↑,→ | ||
Ñ |
1. ., . : / . . . .: , 2002. 688 .: .
2. .. . .: -, 2003.
3. . , , . . : , . .: , 2001.
4. . . . .: -, 2001.
5. . . . . - .: , 1993. - 432 .
6. ., ., . . - .: , 1979.
7. . . - .: , 1980.
8. - .. . . - .: , 1988.
9. . . - .: , 1975.
10. . . .: , 1978.
11. .., .. --- . .: , 1978.
12. . . - .: , 1977.
13. .. - . - ? - : 2000. . . 622-00 . 13.03.2000. - 43 .
14. ., . , . - .: , 1978.
15. . . .: , 1984.
16. ., ., . . - .: , 1979.
17. .. . .
18. . . - .: , 1977.
1 .. 3
1.1 , .. 3
|
|
1.2 , .. 4
1.3 . 4
1.4 . 5
1.4.1 . 5
1.4.2 . 6
2 .. 7
2.1 . 7
2.2 11
2.3 .. 18
2.4 .. 22
2.4.1 23
2.4.2 25
2.4.3 . 28
3 .. 33
3.1 . 33
3.2 .. 33
3.3 .. 36
4 . 38
4.1 .. 38
4.2 -. 39
4.3 - () 40
4.4 - () 40
4.5 .. 42
4.6 .. 44
5 DPL 47
5.1 DPL.. 47
5.1.1 . 48
5.1.2 . .. 50
5.1.3 . 52
5.2 DPL.. 53
5.2.1 ( ) 53
5.2.2 () () 54
5.2.3 n . 54
5.2.4 . 54
5.3 55
5.3.1 . 56
5.3.2 . 59
6 .. 63
6.1 .. 63
6.2 . 64
6.3 .. 65
6.3.1 .. 65
6.3.2 . 67
6.3.3 . 70
6.4 .. 72
6.4.1 . 72
6.4.2 . 77
7 80
7.1 DPL.. 80
7.1.1 . 80
7.1.2 . 81
7.2 DPL.. 83
7.2.1 86
7.2.1 . 92
7.2.3 . 92
7.3 DPL.. 97
8 104
8.1 .. 104
8.2 .. 105
8.3 .. 106
8.4 .. 115
8.5 .. 116
8.6 . 116
8.7 .. 117
9 .. 118
|
|
9.1 ... 119
9.1.1 . 120
9.1.2 . 120
9.2 .. 123
... 123
9.3 S- 124
9.3.1 .. 125
S - . 125
9.3.2 S- . 128
9.4 q- 129
9.4.1 . 132
9.4.2 q-. 133
.. 136