Michael Sipser Edition 3 Exercise 2 Question 55 (Page No. 159)

Question

Let $G_{1}$ be the following grammar that we introduced in Example $2.45$. Use the DK-test to show that $G_{1}$ is not a DCFG.

• $R \rightarrow S \mid T$
• $S \rightarrow aSb \mid ab$
• $T \rightarrow aTbb \mid abb$

Comments

what is DK test here?