Математическая энциклопедия - поста система продукций
Связанные словари
Поста система продукций
поста система продукций
нормальная система Поста, нормальное исчисление Поста,частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. с. п. и канонич. систем Поста в широком смысле. П. с. п. были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ).
Лит.:[1] Post E. L., "Araer. J. Matty.", 1943, v. 65, № 2, p. 197-215; [2] Марков А. А., Теория алгорифмов, М., 1954 (Тр. Матем. ин-та АН СССР, т. 42). С. И. Адян.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 556 | |
2 | 482 | |
3 | 480 | |
4 | 472 | |
5 | 454 | |
6 | 439 | |
7 | 437 | |
8 | 433 | |
9 | 424 | |
10 | 423 | |
11 | 421 | |
12 | 413 | |
13 | 404 | |
14 | 374 | |
15 | 374 | |
16 | 372 | |
17 | 365 | |
18 | 363 | |
19 | 363 | |
20 | 362 |