Question: For arbitrary strings x and y, we define # y (x) to be | {(u,v) : x = uyv } |. Let = {2,4}. Let
For arbitrary strings x and y, we define #y(x) to be | {(u,v) : x = uyv } |.
Let = {2,4}.
Let L1 = {x * : #24(x) = 2. #42(x)}.
Nick created a CFG that generates L1, but before he showed it to anyone, an error occurred
Three productions were deleted, leaving blanks where they were. Here is what's left of Nick's CFG.
- S -> blank1, blank2, blank3
- A -> 2A,
- B -> 4B,
Complete Nick's CFG by giving values for the blanks.
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
