Programming languages
nJava, C++, Pascal, etc.
nsyntax: the set of grammatical and punctuation rules for the language. nsemantics: the set of rules that specify the meaning of syntactically legal constructs. nEach legal construct has exactly one meaning.