<Описание каскада>::=Cascad<Имя блока> [
<Имя блока>::= <Идентификатор>
<Список формальных аргументов блока>::= {<Список формальных аргументов> | <Аргумент — подсеть>} [;<Список формальных аргументов блока>]
<Аргумент — подсеть>::= <Список имен аргументов — подсетей>: Block
<Список имен аргументов — подсетей>::= <Имя аргумента — подсети> [,<Список имен аргументов — подсетей>]
<Имя аргумента — подсети>::= <Идентификатор>
<Описание слоя>::=Layer<Имя блока> [
<Описание цикла с фиксированным числом шагов>::=Loop<Имя блока> [
<Число повторов цикла>::= <Константное выражение типа
<Описание цикла по условию>::=Until<Имя блока> [
<Описание состава>::= Contents <Список имен подсетей>
<Список имен подсетей>::= <Имя подсети> [,<Список имен подсетей>]
<Имя подсети>::= <Псевдоним>: {<Имя ранее описанной подсети> [
<Псевдоним>::= <Идентификатор>
<Число экземпляров >::= <Константное выражение типа
<Имя ранее описанной подсети>::= <Идентификатор>
<Список фактических аргументов блока>::= <Фактический аргумент блока> [,<Список фактических аргументов блока>]
<Фактический аргумент блока>::= {<Фактический аргумент> | <Имя аргумента — подсети>}
<Описание связей>::= {<Описание распределения
<Конец описания блока>::=End<Имя блока>
<Конец описания библиотеки>::= End NetLib
<Описание сети>::= <Заголовок описания сети> <Описание подсетей> <Описание главной сети> <Массивы параметров и масок сети> <Конец описания сети>
<Заголовок описания сети>::= NetWork<Имя сети> [Used <Список имен библиотек>]
<Имя сети>::= <Идентификатор>
<Описание главной сети>::= MainNet<Имя ранее описанной подсети> [
<Массивы параметров и масок сети>::= <Массив параметров> <Массив маски обучаемости параметров>
<Массив параметров>::= Parameters <Значения параметров>;
<Значения параметров>::= <Действительное число> [, <Значения параметров>]
<Массив маски обучаемости параметров>::= ParamMask<Значения маски>;
<Значения маски>::= <Константа типа
<Конец описания сети>::= End NetWork