Category:Formal Language

From CIMI
Jump to: navigation, search


Definition: A set of propositions defined by means of a formal grammar
Reference Definition: A formal language is a set of wordsÑthat is, strings of symbols drawn from a common alphabet. Formal languages are often used as the basis for defining programming languages and other systems in which the words of the language are associated with particular meanings or semantics. (Wikipedia)
Usage Note: In the context of CIMI, examples of formal languages include the Archetype Definition Language (ADL), Unified Modelling Language (UML), Object Constraint Language (OCL) and eXtensible Markup Language (XML).

Subcategories

This category has the following 2 subcategories, out of 2 total.