Вычисление с разметкой

S3

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

A

S1

A

N

S2

S(N )

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

},

S

т

A

B {A(2,1)

, Q },

N

н

A

S

Q,

eA

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

[S1 / eA ]S3

S4

N

A

S4

S

S(N )

S

N

A

eA

S

[S1 / eA ]S4

N

S6

[S2 / eA ]S3

S

N

S5

A

S(N ) N

S2

S

S

N

N

[S2 / eA ]S4

N

N

S2

S7

S7

N

S

S(N )

Пример: зададим формулу

z y(E(z) & V (z) & S(z, y))

мультиправило

обычные правила

V

S

Ax

E

E

E

E

z

V

z

V

V

z

z

S

S

S

Y

Y

Y

Y

13

Абстрактная машина вычисления НО

Реализация ПСИЗ СФЛП основана на

начало

предложенной абстрактной машине

вычисления НО (АМНО).

выбрать для подстановки:

исходную сеть S,

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

Команды АМНО:

правило r.

параметры подстановки

S, e, r

нет

конец

FindNet

поиск исходной сети

найдены?

да

FindElm

поиск замещаемого элем.

копировать S' S

FindRule поиск правила

определить e' в S'

выполнить S' [Sr / e' ] S'

подстановка

подстановка

нет

Subst

выполнение подстановки

успешна?

редукция

редуцировать S'

Normalize редукция сети

редукция

нет

вспомогательные

успешна?

DelNet

удаление сети

нет

CopyNet

копирование сети

S' - результат?

MoveNet

перемещение сети

переместить S' в СРВ

удалить S'

IsResult

проверка на результат

14