app-a.tex

\chapter{Представление языка ИУП ТПП в~расширенной форме Бэкуса--Наура}
\label{app:bnf}

\section{Тип данных}

\begin{verbatim}
ВещЧисло  = [“+”|“-”] НатЧисло [“.”[НатЧисло]]
            [(“e”|”E”) [“+”|“-”]НатЧисло].
НатЧисло  = Цифра {Цифра}.
Строка    = “‘” {ЛатСимвол|КирСимвол|Цифра} “’”.
Цифра     = “0”|“1”|“2”|“3”|“4”|“5”|“6”|“7”|“8”|“9”.
ЛатСимвол = “a”|...|“z”|“A|...|“Z”.
КирСимвол = “а”|...|“я”|“А”|...|“Я”.
Кортеж    = “{” Элемент {“,” Элемент} “}”.
Элемент   = ВещЧисло|Строка|Переменная|Константа|
            Промежуток|ВероятПараметр.
Промежуток = (“[”|“(”)ВещЧисло “;” ВещЧисло(“]”|“)”).
ВероятПараметр = (ВещЧисло|Строка)“@”[“+”|“-”]НатЧисло.
\end{verbatim}

\section{Триплет}

\begin{verbatim}
Триплет  = “$” Префикс “.” Имя “=” [“:”]
           [Значение] “;”.
Префикс  = (ЛатСимвол|“_”) {ЛатСимвол|“_”}.
Имя      = (ЛатСимвол|“_”) {ЛатСимвол|Цифра|“_”}.
Значение = ТипДанных|Функция|Триплет|Синтагма|Продукция.
\end{verbatim}

\section{Операция}

\begin{verbatim}
МатОпер          = “+”|“-”|“*”|“/”|“^”|“%”.
ЛогОпер          = “И”|“ИЛИ”.
Отношения        = “>”|“<”|“=”|“>=”|“<=”|“<>”.
ОперПрисвоения   = “:=”.
ОперПеречисления = “,”.
\end{verbatim}

\section{Функция}

\begin{verbatim}
Функция    = ИмяФункции“(”Аргумент
             {ОперПеречисления Аргумент}“)”.
ИмяФункции = ЛатСимвол {ЛатСимвол}
Переменная = “#” Имя
Аргумент   = ВещЧисло|Строка|Кортеж|Переменная|
             Функция.
\end{verbatim}

\section{Фрейм}

\begin{verbatim}
Фрейм = Триплет {Триплет} “//”.
\end{verbatim}

\section{Синтагма}

\begin{verbatim}
Синтагма = “$” Имя Реляция “$” Имя Оценка “;”.
Реляция  = “_” ЛатСимвол {ЛатСимвол} “_”.
Оценка   = ЛогВыражение | Формула.
\end{verbatim}

\section{Продукция}

\begin{verbatim}
Продукция    = “ЕСЛИ” Условие
               “ТО”   Действие {ОперПеречисления
               Действие}.
Условие      = ЛогВыражение {ЛогОпер (ЛогВыражение|
               “(” Условие “)”)}.
Действие     = Переменная ОперПрисвоения Формула.
ЛогВыражение = Формула Отношение Формула.
Формула      = Компонент {МатОпер (Элемент|
               “(” Формула “)”)}.
Компонент    = ВещЧисло|Строка|Кортеж|Переменная|
               Константа|Функция.
\end{verbatim}