formal grammar