Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities