Some concepts and terminology from programming languages

Source versus object languages in a situation involving language translation, we distinguish between the source language, which is being translated, and the target language, in which the results are expressed

Some concepts and terminology from programming languages

	Source versus object languages
	Meta-language versus object language when we speak about language, we often need to distinguish between the object language, about which we are speaking, and the meta-language, which we use to speak

Some concepts and terminology from programming languages

	Source versus object languages
	Meta-language versus object language
	Declarative versus imperative a language is called declarative if it describes some objects or relationships statically; it is called imperative if it develops computation dynamically, by changing stored values over time

Some concepts and terminology from programming languages

	Source versus object languages
	Meta-language versus object language
	Declarative versus imperative
	Turing-completeness if a language can compute all possible computable functions, it is said to be Turing-complete or computationally complete

Some concepts and terminology from programming languages

	Source versus object languages
	Meta-language versus object language
	Declarative versus imperative
	Turing-completeness
	Initial algebras a language (usually an algebra) is called initial for a given class of languages if any member of the class can be derived from it by specifying some details through translation