Introduction to languages and translations