| 可分解部分 | 不可分解部分 |
| S à S1 | R à S “,” R1 |
| S à S “|” S1 | R à S “|” R1 |
| S1 à S2 | R à R1 |
| S1 à S1 “,” S2 | R1 à R2 |
| S2 à ID | R1 à R2 “|” R1 |
| S2 à “(” S “)” | R2 à S “*” |
| S2 à R | R2 à S “*”“,” R2 |