" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ТУЭ СИСТЕМА

Значение ТУЭ СИСТЕМА в математической энциклопедии:

- ассоциативное исчисление, названное по имени А. Туэ, к-рый впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ, см. [1]). Если при задании Т. с. допустимыми подстановками считать только подстановки правых частей соотношений вместо левых частей (т. е. исключить обратные подстановки), то получим полусистемы Туэ (полу-Туэ системы, или системы подстановок), к-рые фактически совпадают также с локальными канонич. системами Поста. Каждая Т. с. может рассматриваться как полусистема Туэ, но обратное неверно.

Лит.:[1] Тhue A., лVidenskapsselskapets Skrifter. Mat. Naturv. Kl.