编程语言语法

Sor*_*ban 2 compiler-construction grammar parsing binary-tree

我在编译器课程中有这个问题,但我真的不知道如何处理它.谁能请给我一个比标题中给出的更好的暗示?

显示由以下语法生成的所有二进制字符串都具有可被3整除的值.

提示:对解析树中节点的数值使用归纳.

num -> 11 | 1001 | num 0 | num num
Run Code Online (Sandbox Code Playgroud)

Oli*_*rth 10

这里有两个提示:

  1. 将0添加到二进制表示相当于乘以2.

  2. 将二进制表示附加到自身相当于乘以2 ^ N + 1.