Московский институт радиотехники, электроники и автоматики (МИРЭА ТУ)

Структура диссертации:

Глава 1: Методы реализации систем декларативного программирования.

Глава 2: Модели и методы вычисления направленных отношений.

Глава 3: Подсистема исполнения запросов СФЛП.

Глава 4: Графический редактор СФЛП.

2

Практическая значимость полученных научных результатов определяется

их использованием при построении СФЛП, которая предоставляет средства

программирования с естественным сочетанием функционального и логического

стилей программирования и позволяет проводить как теоретические, так и

практические исследования с применением формализма НО.

Практическая значимость работы подтверждается внедрением СФЛП в

учебный процесс МИРЭА и МАИ, о чем имеются акты о внедрении

3

упорядоченных пар кортежей элементов D

длины n' и n'', соответственно.

Пример графика НО сложения:

x

x

y

Add (2,1) {(x x , y) | y x x }

0

0

0

0

1

1

1

1

2

…

…

…

Пример графика НО факториала:

x

y

Fact

(1,1)

{(x, y) | y x!}

0

1

1

1

2

2

Свойства НО:

…

…

1. НО R называется функциональным ( F(R)), если

(( , ) R & ( , ) R )

2. НО R называется тотальным (

), если

(( , ) R)

T(R)

3. НО

R 1 называется обратным для R, если

(( , ) R ( , ) R 1 )

Пример представления некоторых семантических объектов

логического и функционального программирования:

НО

Арность

F(R)

T(R)

F(R 1 )

T(R 1 )

Утверждение

(0,0)

+

+

Константа

(0,1)

+

+

+

Функция (тотальная)

(n,1)

+

+

Частичная функция

(n,1)

+

5

Предикат

(n,0)

+

Базисом сети

B называется тройка ( X , , ), где X- множество сортов элементов, а

, : X 0.. задают арность элементов каждого сорта.

Размеченной сетью B арности

(n , n ),

n , n 0 , в базисе элементов называется

B

шестерка P, I,O, E,U , 0 , где

Графическая нотация СПНО:

P

множество точек сети;

I,O входной и выходной кортежи, | I | = n , |O| = n ;

N

P

E

множество элементов сети;

S

U

граф семантического различия;

F

0

начальная разметка сети.

Интерпретация

сети S есть

0 ( p)) & (I ) & (O) &

S

{( , ) | ( : P D)(( p dom( 0 ))( ( p)

( {p , p } U )( ( p ) ( p )) & ( e x, Ie ,Oe E)( (Ie ), (Oe )

x )},

где

x - НО арности ( (x), (x)) на носителе D .

Семантические примитивы

Составные объекты

Константа

Предикат

Список

K

P

Nil

Cn

Конструктор

C

НО общего типа

пустой

список

R

Функция

голова

хвост

F

6

как четверка

Bт , Bн , , R , где

Bт терминальный базис;

Bн нетерминальный базис

(Bт Bн );

Bн аксиома;

R множество правил вида

b S, где

b Bн , S

сеть в базисе

(Bт Bн ).

Пример: НО сложения Add.

Add

Add

S

S2

B {Null(0,1) , Succ(1,1)}, B {Add (2,1)},

1

Succ

т

н

Null

Add

Add,

R {Add S1, Add S2}.

Succ

• Сетевой язык определяется как

R

, где

R

LG {S | a S & ( (x, Ie ,Oe ) E(x Bн ))}

S

сети S из правила b S вместо элемента e сорта b в сеть

(обозначается

[S / b]S).

S

S

S

[S / b]S

M

b

M

M

=

e

M

тело правила

исходная сеть

замещаемый элемент e

7

G Bт , Bн , , R , где

A

A

S3

S1

S2

B {N (0,1) , S (1,1)},

S

N

S

т

N

A

B {A(2,1)

, Q },

н

A

N

Q,

S

eA

R {A S1, A S2 ,Q S3}.

[S1 / eA ]S3

S4

S4

N

S

N

A

S