Compiler theory is the theory of writing compilers (or more generally, translators); programs which translate a program written in one language into another form.
Теория компилятора — это теория написания компиляторов (или в более общем плане трансляторов); программы, которые переводят программу, написанную на одном языке, в другую форму.