分划逻辑在计算机科学中应用的进一步研究

主要工作集中于下述二条主线上：其一，分划逻辑在有限状态的带标记的迁移系统上的应用，包括各种类型的自动机，如识别有限字，W-字，II-字，树形及二维的Picture语言；其二，分划逻辑本身的理论性研究。如分层结构与广义starheight问题（阶段性结果）特征数问题等。而且还找到了它们的有意义的实际应用。不仅获得了一系列有意义的成果，而且在证明方法上，也有所创新。