Теория языков программирования и методы трансляции