LANGUAGE THEORY