Formal methods in the study of languages 2 by