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

99

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

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

- замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. А. Л.). Э. Пост (Е, 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 соде..

Поста Машина

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

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

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

Поста Система Продукций

нормальная система Поста, нормальное исчисление Поста,- частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. С. П. И канонич. Систем Поста в широком смысле. П. С. П. Были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ). ..

Дополнительный поиск Поста Нормальная Система Поста Нормальная Система

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

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

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