From this post
-
A program using O(1) space is computationally equivalent to a finite automata.
-
Proof??? 在这个问题里应该怎么看?评论第一条认为是错的
-
@没有人 楼主认为不能修改输入,那肯定是不能 O(1) 实现的
下面回复的人认为可以先修改输入,之后再修改回来,所以认为楼主是错的
所以他们的讨论就是在瞎扯 233 -
不过有个人提到的 Random-access stored-program machine 挺有趣