Formal and applied linguistics