Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Software Engineer's Reference Book
Software Engineer's Reference Book
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
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
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
Hi-index | 0.00 |
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.