# Section 1.0: Informal Remarks on Formal Languages

A formal language is generally described by the following.
The set of symbols such as , $B$ , $\rightarrow$ , $($ , $)$ etc.
Rules to form a wff i.e. a well-formed formula.
Allowable translations between English and the formal language.