Cтраница 1
Ассоциативные исчисления и нормальные алгоритмы Маркова. [1]
Ассоциативное исчисление) порождает конечно определенную ассоциативную систему К, к-рая вследствие наличия у 91 инвертирующего алгоритма оказывается группой. Деном [3] для конечно определенных групп. [2]
Ассоциативные исчисления, называемые также системами Туэ, служат удобным средством задания и изучения групп и полугрупп. [3]
Ассоциативное исчисление с неразрешимой проблемой эквивалентности, Докл. [4]
Для каждого ассоциативного исчисления возникает своя специальная проблема эквивалентности слов. [5]
Пример этого ассоциативного исчисления мы и рассмотрим. [6]
Для каждого ассоциативного исчисления возникает своя специальная проблема эквивалентности слов. Она заключается в следующем. [7]
Условимся называть ассоциативным исчислением совокупность всех слов в некотором алфавите вместе с какой-нибудь конечной системой подстановок. Чтобы задать ассоциативное исчисление, достаточно указать соответствующие алфавит и систему подстановок. [8]
Условимся называть ассоциативным исчислением совокупность всех слов в некотором алфавите вместе с какой-нибудь конечной системой допустимых подстановок. [9]
ГРУППОВОЕ ИСЧИСЛЕНИЕ - ассоциативное исчисление, в к-ром эффективным образом выполнено естественное групповое требование существования обратной операции. Именно, ассоциативное исчисление 91 наз. [10]
ТУЭ СИСТЕМА - ассоциативное исчисление, названное но имени А. Туэ, но обратное неверно. [11]
Нормальные алгоритмы Маркова и ассоциативные исчисления в исследованиях по искусственному интеллекту. [12]
Для того чтобы задать ассоциативное исчисление, достаточно указать соответствующие алфавит и систему подстановок. [13]
Проблема эквивалентности слов для ассоциативных исчислений ( см. § 4) была сформулирована еще в 1914 г. норвежским математиком Туэ. Им же был предложен алгоритм для распознавания эквивалентности слов в некоторых ассоциативных исчислениях специального вида. С тех пор предпринимались многие попытки построить такой общий алгоритм, который для любого ассоциативного исчисления и для любой пары слов в нем позволили бы установить, эквивалентны эти слова или нет. [14]
Проблема эквивалентности слов для ассоциативных исчислений была сформулирована еще в 1914 г. норвежским математиком Туэ. Им же был предложен алгоритм для распознавания эквивалентности слов в некоторых ассоциативных исчислениях специального вида. С тех пор предпринимались многие попытки построить такой общий алгоритм, который для любого ассоциативного исчисления я для любой пары слов в нем позволил установить, эквивалентны эти слова или нет. [15]