(program) → begin (stmt_list) end
(stmt_list)→→ (stmt)
|(stmt); (stmt_list)
(stmt) → (var) = (expression)
(var) → A|B|C
(expression) → (var) + (var) | (var) - (var) | (var)