Интерпретатор языка командной строки.

Идентификатор – строка символов, используемая для идентификации или именования некоторого элемента программы. Вид именуемого элемента зависит от языка программирования (это может быть переменная, структура данных, процедура, оператор, конструкция высокого уровня или сама программа).

Имя – обозначение объекта в программе или в системе. Имя обозначает объект независимо от его физического местоположения или адреса. Имена используются с целью их долговременного закрепления, например, за описываемым модулем (подпрограммой вычисления квадратного корня) или для удобства (человеку проще распознавать имена, чем адреса).

Все имена преобразуются в адреса с помощью процесса, называемого поиском по имени. Во многих языках имя является простым идентификатором, представляющим собой цепочку букв или текстовую строку. В более развитых языках имя может быть составленным. Элементы группируются в имя в соответствии с грамматическими правилами языка.

В рассмотренном примере (с goto) идентификатор используется для именования адреса, по которому размещаться оператор, который будет выполняться сразу после оператора безусловного перехода «goto».

Критерии качества программы.

Для определения качества используются следующие свойства:

1. Правильность;

2. Эффективность;

3. Тиражируемость;

4. Модифицируемость;

5. Стиль программирования.

1. Под доказательством правильности программы понимают формальное математическое подтверждение того, что семантика программы соответствует предъявленным требованиям, изложенным в спецификации этой программы.

Семантика – часть определения языка, касающаяся указания смысла и действия текста , составленного в соответствии с синтаксическими правилами этого языка.

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

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

Грамматика – один из основных подходов к описанию бесконечного формального языка конечными средствами. Содержит набор правил, используемых для вывода одной строки из другой путем замены подстрок. Строки определенного языка выводятся из некоторой начальной строки путем многократного применения этих правил.

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

Для циклических программ в которых нельзя указать точку завершения, нельзя дать простую спецификацию «ввода-вывода». В этом случае специфицируются отдельные функции, реализуемые программой в ходе циклической операции.

При доказательстве правильности типичных последовательных программ, написанных на некотором императивном процедурном языке, описание программы представляют в форме двух простых утверждений: входного и выходного. Утверждения выражают свойства определенных элементов программы и отношения между ними. Доказательство состоит в формальной демонстрации того, что семантика программы совместима с входным и выходным утверждениями. Программа решения квадратного уравнения: а,в,с – входные; х1,х2 – выходные.