Title: Formal models of natural language processing