逻辑归约相关论文
在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且......
从客户/服务器体系结构的应用层协议机制入手,提出基于三维语法表的文法分析构想,并在此基础上,探索以接插式协议自动机为核心的、......