Ø это набор правил, определяющих какие последовательности символов составляют программу и какое вычисление описывает программа
Ø это знаковая система для описания алгоритмов, обеспечивающая модели для записи формул.
Ø это механизм абстрагирования. Он дает возможность программисту описать вычисление абстрактно и в тоже время позволяет программе (обычно называемой ассемблером, компилятором или интерпретатором) перевести это описание в детализированную форму, необходимую для выполнения на компьютере.
Под системой программирования понимают совокупность языков программирования и виртуальной машины, обеспечивающей выполнение реальных машинных программ, составленных на этом языке.
Виртуальная машина – это программный комплекс, связывающий входной язык ЭВМ с другим, машинным языком.
Виртуальная машина содержит транслятор и/или интерпретатор и может включать библиотеки подпрограмм, отладчик, компоновщик и другие сервисные средства.
