Research on Semantics Finding for Formal Languages

被引：0

作者：

Chen, Xing ^{[1
]}

Wang, Hai-tao ^{[1
]}

Hong, Kun ^{[2
]}

机构：

[1] Kunming Univ Sci & Technol, Yunnan Prov Key Lab Comp Applicat, Kunming, Peoples R China

[2] Inst Sci & Technol Informat Kunming, Kunming, Peoples R China

来源：

2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 1 | 2011年

关键词：

data mining; formal semantics; categories theory; feature capturing network;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Formal languages of computer are often used for expressing semantics. However, in practice, understanding the semantics has become a serious obstacle. In suppose that the syntax and denotation rules of the languages are unknown, the idea was proposed in this paper that categories theory and the feature capturing network could be used for analyzing semantic of the target languages. Several kinds of network structure were provided for action to special sentences of the formal language. When networks were activated in high probability, the structures of sentences will be discovered. Itcould be a useful attempt for semantics finding of formal languages.

引用

页码：510 / 512

页数：3