问题描述
鉴于下面的歧义语法，我怎样才能使它无歧义，我怎样才能证明新修改的无歧义语法是无歧义的？ S -> S + S | S - S | S * S | S/S | (S) | × |是
我的尝试： 歧义可以通过
来纠正S -> S + T | T,T -> T - M| M,M * N|N,N / Q | Q,Q-> (I) | ×| y|
但我不确定如何为此提供证明，而且我不知道 |x|y| 是否存在。会影响这个语法的歧义。我想我可以做一个归纳证明，但我不确定我会如何开始。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）