A Formal Syntax of Natural Languages and the Deductive Grammar

作者：Wang Yingxu^*

来源：Fundamenta Informaticae, 2009, 90(4): 353-368.

DOI：10.3233/FI-2009-0023

• Cognitive informatics
• linguistics
• computational linguistics
• formal languages
• universal grammar
• deductive grammar
• formal syntax
• formal semantics
• EBNF
• RTPA
• comparative linguistics
• software engineering
• programming languages

This paper presents a formal syntax framework of natural languages for computational linguistics. The abstract syntax of natural languages, particularly English, and their formal manipulations are described. On the basis of the abstract syntax, a universal language processing model and the deductive grammar of English are developed toward the formalization of Chomsky's universal grammar in linguistics. Comparative analyses of natural and programming languages, as well as the linguistic perception on software engineering, are discussed. A wide range of applications of the deductive grammar of English have been explored in language acquisition, comprehension, generation, and processing in cognitive informatics, computational intelligence, and cognitive computing.

• 出版日期2009