|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
ПОСТА СИСТЕМА ПРОДУКЦИЙЗначение ПОСТА СИСТЕМА ПРОДУКЦИЙ в математической энциклопедии: нормальная система Поста, нормальное исчисление Поста,- частный случай Поста канонической системы, когда все правила вывода имеют вид Лит.:[1] Post E. L., "Araer. J. Matty.", 1943, v. 65, № 2, p. 197-215; [2] Марков А. А., Теория алгорифмов, М., 1954 (Тр. Матем. ин-та АН СССР, т. 42). С. И. Адян. |
|
|
|
и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. с. п. и канонич. систем Поста в широком смысле. П. с. п. были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ).