Formal methods in the study of languages 2 door