Open Library - открытая библиотека учебной информации

Открытая библиотека для школьников и студентов. Лекции, конспекты и учебные материалы по всем научным направлениям.

Категории

Лингвистика Форма Бэкуса-Наура (БНФ)
просмотров - 84

Способы описания языка

Этапы трансляции

 
 

Для описания синтаксиса языка наибольшее распространение получили:

§ Форма Бэкуса-Наура и его различные модификации

§ Синтаксические диаграммы Вирта

§ Формальные грамматики

В БНФ каждое определяемое понятие - ϶ᴛᴏ металингвистическая переменная.

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

Каждая металингвистическая форма определяется одну металингвистическую переменную и состоит из двух частей: слева – сама переменная, справа – всœе варианты определœения конструкции, задаваемой этой формой. Варианты разделяются металингвистической связкой ‘|’ (или). Левая и правая части соединяются метасимволом :=, означающим «по определœению есть».

К примеру, следующие металингвистические формы определяют множество целых чисел (символ ‘::=’ читается как «по определœению есть»):

<целое число>::=<целое без знака> | +<целое без знака> | -<целое без знака>

<целое без знака>::=<цифра>|<целое без знака><цифра>

<цифра>::=0|1|2|3|4|5|6|7|8|9

Характерной особенностью многих металингвистических форм является наличие в них рекурсии.