Стили и методы программирования
разбить эти программы на составляющие
Синтаксис алгоритмического языка — совокупность правил, позволяющая:
- формально проверить текст программы (выделив множество синтаксически правильных программ);
- разбить эти программы на составляющие конструкции и в конце концов на лексемы.
Семантика алгоритмического языка — соответствие между синтаксически правильными программами и действиями абстрактного исполнителя, позволяющее определить, какие последовательности действий абстрактного исполнителя будут правильны в случае, если мы имеем данную программу и данное ее внешнее окружение.
Под внешним окружением понимаются характеристики машины, на которой исполняется программа (точность представления данных, объем памяти, другие программы, которые можно использовать при выполнении данной, и т. д.), и потоки входных данных, поступающие в программу в ходе ее исполнения.
Прагматика алгоритмического языка — то, что связывает программу с ее конкретной реализацией. При этом, в частности, происходит следующее.
- Все определения становятся явными (изгоняются такие понятия, как "не определено", "определяется реализацией" и т. п.)2).
- Появляются дополнительные конструкции, описатели и др., обусловленные реализацией. Они обязательно учитывают:
- особенности вычислительной машины и среды вычислений;
- особенности принятой схемы реализации языка;
- обеспечение эффективности вычислений;
- ориентацию на специфику пользователей.
Прагматика иногда предписывается стандартом языка, иногда нет. Это зависит от того, для каких целей предназначены язык и его реализация.
Описание языка требует точного задания синтаксиса и семантики. На практике, однако, чем точнее и чем лучше для построения транслятора описан язык, тем, как правило, такое описание более громоздко и менее понятно для обычного человека, и поэтому точные описания существуют не для всех реальных языков программирования. Даже если они имеются, то в виде стандартов, к которым обращаются лишь в крайних случаях.
