formal language

Overview of formal linguistics and semantics as a basis for programming languages and natural language processing