:
1)
2)
3)
4)
5)
6) .
, .. .
() .
(Σ) :
1) ( , , , .);
2) ;
3) .
1.
.1. :
I , ./.; Q , .; Q* , .; S - , .; , .
:
,
1 .
.
Q ( ).
:
S - ( );
I - ;
, :
- ( ),
- ,
- ,
- ,
- .
:
- ,
- ,
- ,
- ().
3
| 1) , . | |
| 2) , . | |
| 3) , | |
| 4) , | |
| 5) , ./ | [1] / [ ] |
| 6) , | [2] / [5] |
| 7) , . | [3] * [5] |
| 8) | ([3] + [4]) * [5] |
| 9) , . | [8] [7] |
| 10) , . | [9] + [7] |
| 11) , . | [9] + [2] |
| 12) | ([11] [10]) / [5] |
