摘要
阐述了一种可定义的语义分析方法,可对有结构文本进行语义分析,通过对两待测文本进行等价变换来判断其等价性.给出了一种复杂文本的规范化方法,这为需要进行简单数据录入的系统提供了一种简易的前期检错和规范机制.
The thesis shows a definable semantic parsing method that analyzes the grammar of the structured text,it gives the proofs about the equivalences of two texts which will be tested through equivalent transformation. A normative form for complicated text is given,which can offer an easy prophase error-checking and formalizing device for the systems which needs processing some simple data-entry.
出处
《北华大学学报（自然科学版）》
CAS
2008年第6期572-576,共5页
Journal of Beihua University（Natural Science）
基金
北京市海淀园创新基金项目(BT2008-06)
关键词
动态文法
测评
等价表达式
Dynamic grammar
Assessment
Equivalent expression
