自然语言理解:一个元形式系统理论,黄培红,,图灵机模型并没有限制变量或状态所代表的概念粒度大小,从而导致目前为止基于它的形式系统往往只是局部的,系统之间也是难融合的