, , , , :
, ?
, ?
, . , , ( , ).
, ( ), , ( ). . , , , , , . , .
, . , . , b
G({+,,*,/,(,),a,b},{S,,E},P,S):
В:
S S+T | ST |
* | / |
(S) | | b
*b+ :
S S+T + *+ *+ *+ *b+ *b+ *b+
. . 1.4. , , .
. 1.4.
: -, , ( ); -, , .
: G G, , , .
, , . , , , , , , , .
. , ( ) , G , . , , G G.
, . : V: {(α1,β1), (α2,β2),...,(αn,βn)}, n > 0,
n > i > 0: αi,βiV+; , : (α1,β1), (α2,β2),...,(αm,βm), m>0 ( ), α1α2αm= β1β2βm. , , , .