C语言并非图灵完备

文章从C语言规范的角度出发，论证了C语言并非图灵完备的。作者指出，C标准对指针的定义限定了程序可访问内存的大小，即使在假设的无限内存机器上也是如此。而访问无限内存是图灵完备的必要条件，因此C语言并非图灵完备。文章还讨论了虚拟内存和非对象信息等问题，并最终得出结论：C语言规范限制了指针所能表达的信息量，无法实现图灵机的所有功能。