编程语言语法

Question

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

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

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

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

Answer 1

这里有两个提示:

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

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