A Formal Syntax of Natural Languages and the Deductive Grammar

Authors:
Yingxu Wang
Affiliations:
(Correspd.) Dept. of Comp. Sci., Stanford Univ., Stanford, CA 94305-9010, USA. yingxuw@stanford.edu and (ICfCI), (TESERC), Dept. of Elec. and Comp. Eng., Schulich Sch. of Eng., Univ. of Calgary, A ...
Venue:
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Year:
2009

Citing 11
Cited 3

Algorithms & data structures

Algorithms & data structures
Revised report on the algorithm language ALGOL 60

Communications of the ACM
Software Engineer's Reference Book

Software Engineer's Reference Book
Elements of the Theory of Computation

Elements of the Theory of Computation
The Real-Time Process Algebra (RTPA)

Annals of Software Engineering
The European side of the last phase of the development of ALGOL 60

ACM SIGPLAN Notices - Special issue: History of programming languages conference
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Software Engineering Foundations: A Software Science Perspective

Software Engineering Foundations: A Software Science Perspective
On contemporary denotational mathematics for computational intelligence

Transactions on computational science II
On mathematical laws of software

Transactions on computational science II
On the informatics laws and deductive semantics of software

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

A Web Knowledge Discovery Engine Based on Concept Algebra

International Journal of Cognitive Informatics and Natural Intelligence
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra

International Journal of Cognitive Informatics and Natural Intelligence
The Formal Design Models of a Universal Array UA and its Implementation

International Journal of Software Science and Computational Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.