编程语言语法

Question

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

  

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

     

提示：对解析树中节点的数值使用归纳法。

num -> 11 | 1001 | num 0 | num num

Answer 1

以下是两个提示：

1. 在二进制表示中附加0相当于乘以2.

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