Reformulating Global Grammar Constraints