questions about exercise 2.2.4 4) & 5)

[QianYC]

4)的前两条产生式好像不能推导出term - expr 和 factor / term 这两条式子吧？是不是改为 expr -> expr-expr 和 term -> term/term 更好一点？ 5)同理。