论文部分内容阅读
核查理论是生成语法发展到最简方案阶段的一个重要理论,具有高度的形式化特点。同时,随着科学技术的发展,计算机也渗入到各个领域。在此基础上,本文提出了将核查理论与计算机结合的构想,并分析了其实现的可能性。本文旨在以核查理论为一个切入点,完成该理论的形式化过程,从而促进语言学家与计算机专家的进一步合作,不断推动核查理论,计算机和计算语言学的发展。