Литература

1. Кутепов В.П., Фальк В.Н. Функциональные граф-схемы алгоритмов и их эквивалентные преобразования // Киев: Труды Первой Всесоюзной конференции по программированию. Изд. Института Кибернетики АН УССР, 1968.

2. Фальк В.Н. Исследование эквивалентности схем программ средствами языка схем отношений // Программирование, 1982. №6.

3. Фальк В.Н. Формальная модель языков программирования FALGOL – тридцать лет спустя // Изв. РАН. Теория и системы управления. 2009. №1.

4. Фальк В.Н. Языки схем отношений // Формальные модели параллельных вычислений. Новосибирск, 1988.

5. Кутепов В.П., Фальк В.Н. Направленные отношения: теория и приложения // Изв. РАН. Техническая кибернетика, 1994. №4,5.

6. Фальк В.Н. Теория направленных отношений и ее приложения // Автореф. дисс. … докт. техн. наук. -М: МЭИ. -2001.-40 с.

Оглавление

2.СЕТЕВЫЕ ЯЗЫКИ ФУНКЦИОНАЛЬНОГО И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 1

1. Графические представления схем -отношений. 1

2. Базисы и сети. 4

3. Элементарные сети. 7

4. Операции композиции сетей. 8

5. Свободные и связанные сети. Вложение сетей. 9

6. Сетевые языки. 11

7. Сетевая интерпретация рекурсивных схем -отношений. 14

8. Реляционная интерпретация сетевых языков. 16

9. Примеры задания сетевых языков и их реляционной интерпретации. 17

10. Формализация отношений реляционного включения и эквивалентности сетевых языков. 26

ЛИТЕРАТУРА 40

1 Известные определения понятия графического языка, на наш взгляд, не доведены до необходимого уровня абстракции.

2 обозначает длину кортежа.

3Аксиома фиксированной точки для частного случая рекурсии – итерации выглядит так: 33’..

4 – хроматическое число графа.

41 F logol:язык и система функционально-логического программирования