The approach includes the definition of a formallanguage for your project's or system's conceptual architecture.
这种方法包括为项目或系统的概念性架构定义一门正式的语言。
2
The formal semantics of programming languages can provide concise and precise languagedefinition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
3
The C languagedefinition does not contemplate the question of procedures whose formal and actual argument lists disagree in number or type.