5) Нормальные формы Бэкуса-Наура (бнф)
БНФ представляет компактную форму в виде некоторых формул, похожих на математические. Для каждого понятия существует единственная нормальная формула (метаформула), которая состоит из левой и правой частей.
В левой части указывается определяемое понятие, а в правой – задается множество допустимых конструкций языка, которые объединяются в это понятие. В формуле используют специальные метасимволы в виде угловых скобок, в которых заключено определяемое понятие (в левой части) ил ранее определяемое понятие (в ее правой части), а разделение левой и правой частей указывается метасимволом «::=», смысл которого эквивалентен славам “по определению есть”.
: =
│ - “или”
{} – элемент, который стоит в скобках может повторяться 0 или более раз.
< > - элемент языка, вводимый пользователем (понятие).
<пусто> : =.
<переменная> : : = A/B.
<двоичная цифра> : : = 0/1.
6) Синтаксическая диаграмма Вирта является графическим представлением значения метапеременной метаязыка. Диаграмма состоит из основных символов или понятий языка.
Для сравнения с метаформулами приведем несколько примеров.
Синтаксическая диаграмма
<переменная> : : =
эквивалентна метаформуле <переменная> : : = A/B.
7) Программный способ записи алгоритмов – это алгоритм, записанный на ЯП, позволяющем на основе строго определенных правил формировать последовательность предписаний, однозначно отражающих смысл и содержание частей алгоритма с целью их последующего исполнения на ЭВМ.