, , -, , . , , - , . , : ..., , , , .
, , ( ). - ( ) .
( ) , . ( ). . , - , . , ( ) ( ), ::=, .
,
<>::=]
<>::=<>|<>+<>|<><>-<>
, ( ) , , <> , <> - : ; ; +; +; +; +; -; -: -; - 1 .
. , .. , . , < >, 0 1. :
< >::= 0|1
< >::=< >|< > < >
< >, , .. - 0 1. , , (, ) < >, , : 0 1 00 01 10 11, .. - . , .
|
|
. , . , < > , :
< >::=< >< >
, , <>:
<>::=.
, , .
- . .
, . , , .
.
<>:: =
<>::= \.
:
.
; , , - , ( ).