Consider the following grammar in Chomsky Normal Form:
\(S_0 \rightarrow AM \mid SA \mid AS \mid NB \mid a\) \(S \rightarrow AM \mid SA \mid AS \mid NB \mid a\) \(A \rightarrow AM \mid SA \mid AS \mid NB \mid a \mid b\) \(B \rightarrow b\) \(M \rightarrow SA\) \(N \rightarrow a\)
Suppose the above grammar also had the production \(S_0 \rightarrow \epsilon\), which is only allowed in CNF because \(S_0\) is the start symbol. What would we need to add to the transition function of the PDA to make it accept the string \(\epsilon\)?
Here are the transition rules from the PDA conversion:
For each grammar rule of the form \(A \rightarrow BC\), add transition rules of the form:
\(q*A \rightarrow qNBC\) and
For each grammar rule of the form \(A \rightarrow b\), add a transition rule:
\(q*A \rightarrow qR\epsilon\)
Simulate this PDA as it processes the string \(bba\) from above, drawing the state of the tape and stack after each step of computation. Is this machine nondeterministic or deterministic?