Туэ Система
- ассоциативное исчисление, названное по имени А. Туэ, к-рый впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ, см. [1]). Если при задании Т. С. Допустимыми подстановками считать только подстановки правых частей соотношений вместо левых частей (т. Е. Исключить обратные подстановки), то получим полусистемы Туэ (полу-Туэ системы, или системы подстановок), к-рые фактически совпадают также с локальными канонич. Системами Поста. Каждая Т. С. Может рассматриваться как полусистема Туэ, но обратное неверно. Лит.:[1] Тhue A., лVidenskapsselskapets Skrifter. Mat. Naturv. Kl..
Дополнительный поиск Туэ Система
На нашем сайте Вы найдете значение "Туэ Система" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Туэ Система, различные варианты толкований, скрытый смысл.
Первая буква "Т". Общая длина 11 символа