formal language
noun
a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another
logic
a logistic system for which an interpretation is provided: distinguished from formal calculus in that the semantics enable it to be regarded as about some subject matter
Words nearby formal language
formability,
formad's kidney,
formal,
formal cause,
formal equivalence,
formal language,
formal logic,
formal mode,
formal system,
formaldehyde,
formalin