(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).

plural of formal language

plural of formal grammar

(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols.

(logic) Mathematical logic. / (logic) A particular logical calculus.

(logic) A pattern of reasoning which is always wrong, due to a flaw in the structure of the argument.

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

The study of the semantics, or interpretations, of formal languages. / (computer science) the rigorous mathematical study of the meaning of programming languages

A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, microeconomics, statistics, and linguistics.

plural of formal logic