ТУЭ СИСТЕМА

ТУЭ СИСТЕМА

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "ТУЭ СИСТЕМА" в других словарях:

  • ТУЭ ПОЛУСИСТЕМА — полу Туэ система, система подстановок см. Туэ система …   Математическая энциклопедия

  • Система учета электроэнергии — совокупность измерительных комплексов, установленных на подстанциях. Источник: РД 153 34.3 09.166 00: Типовая программа проведения энергетических обследований подразделений электрических сетей АО эне …   Словарь-справочник терминов нормативно-технической документации

  • система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

  • система учета — 3.4 система учета: Совокупность организационно технических мер по учету ПУ, применяемых на уровне предприятия, организации, отрасли и т.д. Источник: ГОСТ Р 52326 2005: Устройства пломбировочные. Учет, контроль и утилизация оригинал документа …   Словарь-справочник терминов нормативно-технической документации

  • система учета электроэнергии автоматизированная, информационно-измерительная (АИИС УЭ) — 3.1.1 система учета электроэнергии автоматизированная, информационно измерительная (АИИС УЭ) : Совокупность функционально объединенных информационно измерительных комплексов точек учета, информационно вычислительных комплексов электроустановок,… …   Словарь-справочник терминов нормативно-технической документации

  • РЕГУЛЯРНОЕ СОБЫТИЕ — множество слов конечного алфавита, к рое на алгебраич. языке может быть задано с использованием выражений специального вида р е г у л я р н ы х в ы р а ж е н и й. Пусть А конечный алфавит и символы операций, наз. о б ъ е д и н е н и е м, к о н к… …   Математическая энциклопедия

  • ДИОФАНТОВЫ ПРИБЛИЖЕНИЯ — раздел теории чисел, в к ром изучаются приближения нуля значениями функций от конечного числа целочисленных аргументов. Первоначальные задачи Д. п. касались рациональных приближений к действительным числам, но развитие теории привело к задачам, в …   Математическая энциклопедия

  • Франция — (France) Французская Республика, физико географическая характеристика Франции, история Французской республики Символика Франции, государственно политическое устройство Франции, вооружённые силы и полиция Франции, деятельность Франции в НАТО,… …   Энциклопедия инвестора

  • АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… …   Математическая энциклопедия

  • СТО 70238424.17.220.20.004-2011: Автоматизированные информационно-измерительные системы учета электроэнергии (АИИС УЭ). Организация эксплуатации и технического обслуживания. Нормы и требования — Терминология СТО 70238424.17.220.20.004 2011: Автоматизированные информационно измерительные системы учета электроэнергии (АИИС УЭ). Организация эксплуатации и технического обслуживания. Нормы и требования: 3.1.10 действительная метрологическая… …   Словарь-справочник терминов нормативно-технической документации


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»