formal language造句
31. For supporting contract and code instrumentation technology more effectively, we use XML as the formal language to describe protocol Request For Comments (RFC).
32. A middle formal language(MML) is introduced to describe the semantic tree, and the associated relationship is used to solve the relations of tables and thus complete the transition from MML to SQL.
33. The method of logical syntax which he developed signed a new phase of the study of formal language. The knowledge of Logic truth is extended by the definition of the concept of analyticity.
12