Introduction to the Formal Analysis of Natural Languages