我想解决下面的“计算理论导论” Sipser第3版的问题2.24：
让G为以下语法：
S→T-
T→TaTb |钽| ε
（-是标记语言的结束符号）
使用DK测试显示G是DCFG。 描述可识别L（G）的DPDA
我尝试使用DK测试，但这表明G不是DCFG，但这是不可能的，因为我建立了可识别L（G）的DPDA。
有人可以告诉我为什么我运行DK测试错误吗？
我无法发布自己的照片（因为我的声誉不高），但是我可以解释自己的所作所为：我制作了DFA DK，以表明G是DCFG，但是按照TaTb的符号到达在具有2条完整规则的DFA DK状态下
T→TaTb。
T→。
，这意味着语法G不是DCFG，但这不是正确的。我看不到我在做什么错。