5 |
|
|
6 |
;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
7 |
;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
8 |
;; Time-stamp: <2004/02/29 18:40:14 vinicius> |
;; Time-stamp: <2004/11/19 22:24:07 vinicius> |
9 |
;; Keywords: wp, ebnf, PostScript |
;; Keywords: wp, ebnf, PostScript |
10 |
;; Version: 1.0 |
;; Version: 1.0 |
11 |
|
|
68 |
;; A = B | . ==> A = [B]. |
;; A = B | . ==> A = [B]. |
69 |
;; A = | B . ==> A = [B]. |
;; A = | B . ==> A = [B]. |
70 |
;; |
;; |
71 |
;; factoration: |
;; factorization: |
72 |
;; A = B C | B D. ==> A = B (C | D). |
;; A = B C | B D. ==> A = B (C | D). |
73 |
;; A = C B | D B. ==> A = (C | D) B. |
;; A = C B | D B. ==> A = (C | D) B. |
74 |
;; A = B C E | B D E. ==> A = B (C | D) E. |
;; A = B C E | B D E. ==> A = B (C | D) E. |
227 |
;; A = B | . ==> A = [B]. |
;; A = B | . ==> A = [B]. |
228 |
;; A = | B . ==> A = [B]. |
;; A = | B . ==> A = [B]. |
229 |
|
|
230 |
;; factoration: |
;; factorization: |
231 |
;; A = B C | B D. ==> A = B (C | D). |
;; A = B C | B D. ==> A = B (C | D). |
232 |
;; A = C B | D B. ==> A = (C | D) B. |
;; A = C B | D B. ==> A = (C | D) B. |
233 |
;; A = B C E | B D E. ==> A = B (C | D) E. |
;; A = B C E | B D E. ==> A = B (C | D) E. |
260 |
;; 6. A = B | . ==> A = [B]. |
;; 6. A = B | . ==> A = [B]. |
261 |
;; 7. A = | B . ==> A = [B]. |
;; 7. A = | B . ==> A = [B]. |
262 |
|
|
263 |
;; factoration: |
;; factorization: |
264 |
;; 8. A = B C | B D. ==> A = B (C | D). |
;; 8. A = B C | B D. ==> A = B (C | D). |
265 |
;; 9. A = C B | D B. ==> A = (C | D) B. |
;; 9. A = C B | D B. ==> A = (C | D) B. |
266 |
;; 10. A = B C E | B D E. ==> A = B (C | D) E. |
;; 10. A = B C E | B D E. ==> A = B (C | D) E. |