Question 4: Suppose we execute the Chomsky-normal-form conversion algorithm described in the videos. Let ABCODE be one of the productions of the given grammar, which has already been freed of ε-productions and unit productions. Suppose that in our construction, we introduce new variable X to derive a terminal a, and when we need to split the right side of a production, we use new variables Y1, Y2. What productions would replace ABCODE? Identify one of these replacing productions from the list below:
CA-YB OY-YXo CABY OY-YD