Поста Машина

96

- один из вариантов Тьюринга машины.

Значения в других словарях
Поста Каноническая Система

, исчисление Поста,- способ задания перечислимых множеств слов. Понятие П. К. С., предложенное Э. Постом (Е. Post) в 1943, было первым общим понятием исчисления, пригодным для задания произвольных перечислимых множеств и не привязанным к логич. Структуре порождаемых объектов, к их семантике и к логике вывода правил. П. К. С. Задается четверкой А, Р,, p, где А - алфавит исчисления, Р(не имеющий общих букв с А) - алфавит переменных, - список слов в А(аксиом исчисления), p - список правил выв..

Поста Класс

- замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. А. Л.). Э. Пост (Е, Post) установил, что таких классов в точности счетное множество, и дал их явное описание. Им же показано, что все они являются конечно порожденными, построена решетка по включению, образованная этими классами. Множество указанных классов исчерпывается списком С i, Ai, Dj, Lk, Ol, Sr, Pr, , где i=l, 2, 3, 4. J= 1, 2, 3. K=l,. ., 5. L =1,. .,9. R=1, 3, 5, 6. S=1, . .,8. M = 2, 3,. Класс C1 соде..

Поста Нормальная Система

нормальное исчисление,- важный частный случай Поста канонической системы. С. Ю. Мослов. ..

Поста Решетка

- решетка по включению Поста алгебр. ..

Дополнительный поиск Поста Машина Поста Машина

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Поста Машина" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Поста Машина, различные варианты толкований, скрытый смысл.

Первая буква "П". Общая длина 12 символа