Цикл работы КАМ

1) Выбор категориального терма, построенного из комбинаторов.

2) Означивание этого терма производится путем его аппликации к среде.

Начальное состояние	Конечное состояние
Терм	Код	Стек	Терм	Код	Стек
(S,t)	car:C	A	S	C	А
(S,t)	cdr:C	A	T	C	А
S	(quoteB)C	A	B	C	А
S	(cur C) C1	A	[C:S]	C1	А
([C:S], t)	app. C1	A	(S,t)	C:C1	А
T	cons C	S:A	(S,t)	C	А
S	push.C	A	S	C	S:A
T	swap.C	S:A	S	C	T:A

А - вектор содержимого стека,

”:” - разделитель,

[C:S] - совокупность.

В языке ДЗК (декартово замкнутые категории) использовано 8 символов, которым ставятся в соответствие инструкции КАМ:

Сar = Fst - получает терм (s,t) и заменяет его на s.

Cdr = Snd - получает терм (s,t) и заменяет его на t.

Quote = ’ - получает терм s и оставляет его без изменений

Cur = Λ - замещает терм s на С:s, где C - код, инкапсулированный в Λ.

Cons = > - строит совокупность из вершины стека и терма, заменяет терм на эту

совокупность и проталкивает стек.

app = App - получает терм (C:s,t), замещает его на (s,t), а оставшейся части кода

устанавливает префикс C.

swap =, - меняет содержимое терма и вершины стека местами.

push = < - берет терм и помещает его в вершину стека.

_{Стек Код}

А С Вместо рор используется пара из swap и cons.

App○<x,y> Term

App(<x,y>Term)

Код: push,[x],swap,[y],cons,app

Пример КАМ кода: сложение 2 и 3

((+2)3) –это аппликация (+ к 2) →(+2) к 3

push push quote + swap quote 2 cons app swap quote 3 cons app

<<’+,’2>App,’3>App

Дата добавления: 2014-01-11