@hzx__ 在 有限存储的计算机等价于有限自动机(DFA、NFA) 中说:
然后我的思路是, 对任意一台给定的计算机 都可以构造等价的DFA(不仅仅是任意一段某台计算机可以运行的源码)
天啊,这并不是我的思路!!!
你一直强调“ 对任意一台给定的计算机 都可以构造等价的DFA(不仅仅是任意一段某台计算机可以运行的源码)”,这是怎么做出来的?我的思路就是,你做不出这样的构造!
比如说,给出一台可以计算 a + b 的计算机,你大算怎么构造DFA呢?我希望你回答这个问题。或者,你怎么能构造一台识别
不知道你为什么强调“给定”,现在任何一台计算机都是有限存储的吧,你就构造一台自己的计算机的DFA出来就好了,你怎么构造?我不希望你重复说,因为计算机的存储有限,所以最多
请看你自己的论述“因为源码是M比特长,所以最多有
我们看看PDA与DFA之间的关系吧。PDA的状态也是有限的,是不是意味任意PDA都能写成一个DFA?那么也就是说,DFA 等价于PDA等价于TM等价于计算机?我不明白了,为什么你会承认PDA可以识别CFG而DFA不行的结论,而又强调PDA与DFA等价呢?
我们的分歧到底在哪里?定义?定理?证明?我希望可以回归到ITOC的内容来探讨这种分歧,而不想强调任何的”暗示“、”言下之意“或者自己得出的”推论“。