This paper defines formal syntax of.

This article, based on the examples from daily life, analyzes the structure --"Zai + Shao + V + Quantifier" from three aspects: grammatical form, semantic expression and pragmatic function.

Through an inquiry into such sentence patterns as subject-predicate clause as predicate,the author fosters the belief that too much attention has been paid to grammatical forms in teaching Chinese as a foreign language nowadays instead of combining form and meaning together,which deviates from the goal of teaching.

Based on these criteria,this paper studies the formation of the structure "cause to be" through the grammatical form,language meaning and language use combined.

The flexible methods of artistic language are realized by two sides: the form of grammar and pragmatic level.

In this dissertation, the author studies the writing features and the grammatical forms of the written language in Endeni-yin Tobci (An outline of treasured history).

In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.

However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.

A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.