We have the starting point of an elegant mathematical theory for modeling data structures and in fact, as we just saw, programs in general.
英
美
- 对数据结构建模,事实上正如我们刚才所见的,通常是对程序建模,我们有了一个数学理论上的起点。