Background to Formal Linguistics