Title: Varieties of Formal Languages