See: Formal Language, Academic Discipline, Formal Language Discipline, Natural Language Academic Discipline, Formal Language Theory.