基于文法的系统的模型和检验问题研究

上下文无关语言上的递归函数（简称CFRF）和类型化XML处理，是两个具有重要研究意义和应用价值的研究课题，它们也是具有共性的基于文法的系统。以此为背景，本项目把CFRF和XML的相关研究工作结合起来，研究系统的模型问题，包括CFRF的实用子模型和类型化XML处理系统的模型，研究系统的检验方法和技术，提出新的模型、方法和技术，为它们的有效和可靠应用提供支持，并对基于文法的系统有更加全面和深入的了解。把两者的研究结合起来，可以带来新思路和新方法，对上述两个领域的研究具有积极作用，并为其它相关工作提供参考。