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