Сигнатура комбинатора

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Сигнатура комбинатора — в комбинаторной логике левая часть в записи комбинаторной характеристики, которая состоит из наименования комбинатора и списка параметров, с которыми работает комбинатор. Например, в записи комбинаторной характеристики комбинатора K:

\(Kxy = x\),

сигнатурой является часть \(Kxy\).