А. Григорьев - О чём не пишут в книгах по Delphi

Здесь мы определили нетерминальный символ (цифра), под которым можем понимать один из символов диапазона '0'..'9'.

Операция |подразумевает, что все, что стоит слева от этого знака, является альтернативой того, что стоит справа (до конца определения или до следующего символа |). Если в качестве альтернативы выступает только часть определения, то чтобы обособить эту часть, ее заключают в круглые скобки, например:

::= 'for' ':='

('to' | 'downto') 'do'

Здесь с помощью БНФ описан синтаксис оператора forязыка Delphi. В квадратные скобки заключается необязательная часть определения, как присутствие, так и отсутствие которой допускается синтаксисом, например:

::= 'if' 'then' ['else' ]

Здесь дано определение условного оператора ifязыка Delphi. Квадратные скобки указывают на необязательность части else.

Строго говоря, определения операторов ifи forв Delphi сложнее, чем те, которые мы здесь привели. Это связано с тем, что и — это альтернативы символа . Поэтому может возникнуть конструкция типа if Condition1 then if Condition2 then Operator1 else Operator2. Из нашего определения невозможно сделать вывод о том, к какому из двух ifв данном случае относится else. В языках программирования принято, что elseотносится к последнему из if, который еще не имеет else. Чтобы описать это правило, требуется более сложный синтаксис, чем мы здесь привели. Однако этот вопрос выходит за рамки данной книги и более подробно рассмотрен в [5].

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

::= {}

Это простое определение не совсем верно, т.к. фигурные скобки указывают на повторение ноль или большее число раз, т.е. пустая строка также будет соответствовать нашему определению . Чтобы этого не происходило, исправим наше определение:

::= {}

Теперь синтаксическое правило, определяемое символом , требует, чтобы выражение состояло из одной или более цифр.

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

::= {} +

Однако это обозначение не является общепризнанным, поэтому мы не будем им пользоваться.

Этим исчерпывается набор правил БНФ. Далее мы будем использовать эти правила для описания различных синтаксических конструкций. При этом мы увидим, что, несмотря на простоту, БНФ позволяет описывать очень сложные конструкции, и это описание просто для понимания.

Попытаемся описать синтаксис вещественного числа с помощью БНФ. Сначала опишем этот синтаксис словами: "Перед числом может стоять знак — плюс или минус. Затем идет одна или несколько цифр. Потом может следовать точка, после которой будет еще одна или несколько цифр. Затем может быть указан показатель степени "Е" (большое или малое), после которого может стоять знак плюс или минус, а затем должна быть одна или несколько цифр". Указанные правила описывают синтаксис записи вещественных чисел, принятый в Delphi. Согласно им, правильными вещественными числами считаются, например, выражения "10", "0.1", "+4", "-3.2", "8.26е-5" и т.п. Такие выражения, как, например, ".6" и "-.5", этим правилам не удовлетворяют, т.к. перед десятичной точкой должна стоять хотя бы одна цифра. В некоторых языках программирования такая запись допускается, но Delphi требует обязательного наличия целой части.

Теперь переведем эти правила на язык БНФ (листинг 4.1).

::= [] {}

[ {}]

[ [] {}]

::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

::= '+' | '-'

::= '.'

::= 'E' | 'e'

На основе этих правил можно написать функцию IsNumber, которая в качестве параметра принимает строку и возвращает True, если эта строка удовлетворяет правилам записи числа, и False, если не удовлетворяет (листинг 4.2).

// Проверка символа на соответствие

function IsDigit(Ch: Char): Boolean;

begin

Result := Ch in ['0'..'9'];

end;

// Проверка символа на соответствие