这个语法是不明确的

Question

我想将此语法转换为明确的语法：

S -> if E then S
   | if E then S else S
   | a
E -> b

我找到了一个比我的解决方案更复杂的解决方案，但我不确定我的解决方案是否正确：

S -> if E then T else S
   | if E then S 
   | a
T -> if E then T else T 
   | a
E -> b

我的解决方案是否正确？