<Имя используемой библиотеки>::= <Идентификатор>
<Описание подсетей>::= <Описание подсети> [<Описание подсетей>]
<Описание подсети>::= {<Описание элемента> | <Описание блока> | <Описание функций>}
<Описание элемента>::= <Заголовок описания элемента> <Описание сигналов и параметров> [<Описание типов параметров>] [<Определение типов параметров>] [<Описание статических переменных>] [<Установление значений статических переменных>] <Описание методов> <Конец описания элемента>
<Заголовок описания элемента>::= Element<Имя элемента> [
<Имя элемента>::= <Идентификатор>
<Описание сигналов и параметров>::= <Описание входных сигналов> <Описание выходных сигналов> [<Описание параметров>]
<Описание входных сигналов>::= InSignals<Константное выражение типа
<Описание выходных сигналов>::= OutSignals<Константное выражение типа
<Описание параметров>::= Parameters<Константное выражение типа
<Описание типов параметров>::= <Описание типа параметров> [<Описание типов параметров>]
<Описание типа параметров>::= ParamType<Имя типа параметра><Список>
<Имя типа параметра>::= <Идентификатор>
<Список>::= {Parameters
<Определение типов параметров>::= <Определение типа параметра> [<Определение типов параметров>]
<Определение типа параметра>::= ParamDef<Имя типа параметра> <Минимальное значение> <Максимальное значение>
<Минимальное значение>::= <Константное выражение типа
<Максимальное значение>::= <Константное выражение типа
<Установление значений статических переменных>::= <Установление параметров
<Описание методов>::= <Описание функционирования вперед> <Описание функционирования назад>
<Описание функционирования вперед>::= Forw [<Описание переменных>] <Тело метода>
<Тело метода>::= Begin<Составной оператор> End
<Описание функционирования назад>::= Back[<Описание переменных>] <Тело метода>
<Конец описания элемента>::= End<Имя элемента>
<Описание блока>::= <Заголовок описания блока> <Описание состава> <Описание сигналов и параметров> [<Описание статических переменных>] [<Установление значений статических переменных>] <Описание связей> [<Определение типов параметров>] <Конец описания блока>
<Заголовок описания блока>::= {<Описание каскада> | <Описание слоя> | <Описание цикла с фиксированным числом шагов> | <Описание цикла по условию>}