Difference between revisions of "Category:Formal Language"

From CIMI
Jump to: navigation, search
Line 1: Line 1:
 
{{EntryStatus|Reviewed}}
 
{{EntryStatus|Reviewed}}
{{definition|A formal language is a set of words defined by means of a formal grammar. Formal languages are often used as the basis for defining programming languages and other systems.
+
{{definition|A set of propositions defined by means of a formal grammar
  
 
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).
 
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).

Revision as of 12:52, 26 February 2013


Definition: A set of propositions defined by means of a formal grammar

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).


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)
Component of: Information Model

Subcategories

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