Персонологическая модель образа мира человека - стр. 10

Например:

Бинарность. Компьютер использует бинарную логику и понимает только два знака, которые можно представить механически или электрически, например, как слабый и сильный заряд – ноль и единицу (Бен-Ари, 2000). При этом один разряд допускает только унарную операцию – если не 0, то 1; если не 1, то 0, – и представляет собой действительно неразрешимое противоречие, а два и более разряда допускают различные сочетания и противопоставления.

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

Таким образом, язык программирования – это механизм абстрагирования и конкретизации. Он дает возможность описать конкретную программу абстрактно и в то же время позволяет перевести это описание обратно в конкретную форму, «понятную» компьютеру и исполняемую им (Бен-Ари, 2000).

Компилятор и интерпретатор. Перевод этот осуществляется посредством компиляторов и\или интерпретаторов (Там же).

Компилятор переводит программу с языков высокого уровня (более абстрактных) на языки более низкого уровня (более конкретные), вплоть до машинного языка, после чего она выполняется интерпретатором соответствующего языка или непосредственно компьютером, если это машинный язык. При таком переводе сразу анализируется синтаксис и семантика, что обеспечивает быстрое выполнение программы после перевода (Себеста, 2001). Причем компилироваться может как программа целиком, так и отдельные ее фрагменты.

Интерпретатор работает с программой на том же языке, на котором она написана. Программа выполняется уже в процессе перевода, поэтому интерпретатор обычно применяется к наиболее простым языкам высокого уровня, т.к. чем сложнее структура языка, тем сложнее и дольше процесс интерпретации, ведь смысл программы должен определяться непосредственно во время самой интерпретации. Чистым интерпретатором, т.е. интерпретатором двоичного (машинного) языка является аппаратное обеспечение компьютера (Там же).