@E -> T E' E' -> "+" T E' E' -> ε T -> F T' T' -> "*" F T' T' -> ε F -> "(" @E ")" F -> "id"