production rules in j