回顾此前用文法模拟任意TM的方法,时间对应生成次数,空间对应生成字长,由此构造一张长宽n^k的表格(限定左侧不越界)。随后,我们将图灵机的描述翻译成布尔公式:1. Φcell:每个格子有且仅有一个字母(状态也表示成字符,其右侧第一个字母就是读写头的指着的字母) 2. Φstart:起始格局 3. Φaccept:接受格局(对所有...