Студенту >> Язык программирования Си


Правила формального описания синтаксиса языка программирования

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

  1. символы  в кавычках переносятся в конструкцию языка так, как они записаны.  Кавычки при  этом  отбрасываются.  Например, "while" означает, что в конструкции языка присутствует while;
  2. имена,  записанные слитно русскими и латинскими буквами, обозначают различные конструкции языка. Например, оператор_цикла;
  3. квадратные скобки охватывают элементы языка, которые могут повторяться 0 или 1 раз. Например, "AB"["C"] означает, что в конструкции языка может присутствовать или AB или ABC;
  4. фигурные скобки охватывают элементы языка, которые могут повторяться  0 или много раз.  Например,  "AB" { "C" } означает, что в конструкции языка может присутствовать или AB,  или  ABC, или ABCC и т.д.;
  5. символ | обозначает или,  то есть используется для задания альтернативных значений,  из списка элементов,  разделенных знаком |.  Например,  "AB"|"C"|"ff" означает, что в конструкции языка может присутствовать или AB или C или ff;
  6. круглые скобки используются для  группировки.  Например, "A"("B"|"C")"D"  означает,  что  в конструкции языка может присутствовать или ABD или ACD;
  7. многоточие используется для обозначения очевидных пропущенных значений в перечислении;
  8. символ  =  обозначает - слово  есть.  Например,  буква  = "A"|"B"|"C".

В дальнейшем,  синтаксис языка Си будет описываться либо с помощью примеров,  либо с помощью расширенной формы Бэкуса-Наура. В последнем случае это будет помечаться аббревиатурой БНФ.

НАВЕРХ