Specification of Language (common A common technique for specification of languages firstly,define the syntax of the language; syntax defines what constructs exist in the language,and how the constructs are built up in terms of other constructs. secondly,describe its static and dynamic semantics. static semantics define how an instance of a construct should be connected to other instances to be meaningful dynamic semantics define the meaning of a well formed construct 口 well formed-fulfills the rules defined in the static semantics the meaning of a description written in the language is defined only if the description is well formed Tian Zhang Nanjing UniversityTian Zhang @ Nanjing University 9 Specification of Language (common) „ A common technique for specification of languages ‰ firstly, define the syntax of the language; – syntax defines what constructs exist in the language, and – how the constructs are built up in terms of other constructs. ‰ secondly, describe its static and dynamic semantics. – static semantics define how an instance of a construct should be connected to other instances to be meaningful – dynamic semantics define the meaning of a well formed construct ß well formed - fulfills the rules defined in the static semantics ß the meaning of a description written in the language is defined only if the description is well formed