Компилятор

Компилятор переводит программы с одного языка на другой. Входом компилятора служит цепочка символов, составляющая исходную программу на языке программирования L₁. Выход компилятора (объектная программа) также представляет собой цепочку символов, но принадлежащую другому языкуL₂, например, языку некоторого компьютера. При этом сам компилятор написан на языкеL₃, возможно, отличающемся от первых двух. Будем называть языкL₁ исходным языком, языкL₂ – целевым языком, а языкL₃ – языком реализации. Таким образом, можно говорить о компиляторе как об отображении множестваL₁в множествоL₂, т.е.K_L3: L₁→L₂.

Отметим, что далеко не всегда исходные программы корректны с точки зрения исходного языка. Более того, некорректные программы подаются на вход компилятору значительно чаще, чем корректные – таков уж современный процесс разработки программ. Поэтому крайне важной частью процесса трансляции является точная диагностика ошибок, допущенных во входной программе.

Существует огромное количество различных языков программирования, начиная с таких традиционных языков программирования как FortranиPascalи кончая современными объектно-ориентированными языками такими, какC# иJava. Практически каждый язык программирования имеет какие-то особенности с точки зрения создателя транслятора. Однако мы начнем с рассмотрения разнообразных целевых языков компиляторов.