[binary-digit] → 0 1 pragma initial-rule [binary-digit]