| Базис I, B, C, S |
Теоретические сведения. Как можно было убедиться, представляя термы
путем разложения в базисе I, K, S, существует способ систематического или даже механического перехода от одного представления объекта
к другому. Можно использовать большое число различных комбинаторов,
уменьшая число шагов в алгоритме разложения. Конечно, как и следовало
ожидать, не все наборы комбинаторов состоят из взаимно независимых
комбинаторов. В частности, комбинатор I выразим только в терминах
K иS, поэтому он, строго говоря, не является необходимым. Тем не менее
его использование имеет технические преимущества.
Существуют и другие наборы комбинаторов, пользуясь которыми можно получать представление всевозможных правильно построенных термов. Такие наборы комбинаторов считаются базисными, или, как принято
говорить, образуют базис. Как и прежде, комбинатором считается объект, составленный применением аппликации из базисных комбинаторов.
Следовательно, базис комбинаторов не единственный, и следует ожидать
множественности представления комбинаторами одного и того же терма. В зависимости от поставленных целей можно выбрать то или иное
представление1.
1 Например, кроме используемых в настоящей работе базисов I,K,S и I,B,C,S
можно ввести в употребление и другие базисы. В частности, наборC,W,B,K также
проявляет свойство базисности. |
Опубликовал Kest
April 15 2014 12:35:49 ·
0 Комментариев ·
3190 Прочтений ·
|
|
Главная
Каталог файлов
