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

Нормальная система Поста, нормальное исчисление Поста,- частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. с. п. и канонич. систем Поста в широком смысле. П. с. п. были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ). Лит.:[1] Post E. L., "Araer. J. Matty.", 1943, v. 65, № 2, p. 197-215; [2] Марков А. А., Теория алгорифмов, М., 1954 (Тр. Матем. ин-та АН СССР, т. 42). С. И. Адян.