Cтраница 1
Произвольное конечное множество компактно. [1]
Алфавитом называется произвольное конечное множество символов, называемых буквами. [2]
Изучая преобразования произвольного конечного множества, удобно придерживаться определенных стандартных обозначений. Природа элементов множества М при изучении его преобразований несущественна. [3]
Каноническое разбиение произвольного конечного множества событий в любом конечном алфавите представляет собою автоматное множество событий. [4]
Пусть 3R - произвольное конечное множество высказываний системы 95со - Высказывания множества 3R являются высказываниями исчисления высказываний, их элементарные высказывания являются элементарными предикатами аксиомы А. Пустые места этих предикатов заполнены конечными последовательностями из множества Вш. Рассмотрим совокупность всех этих конечных последовательностей, а также конечных последовательностей низших порядков, которые входят в данные. [5]
Пусть П - произвольное конечное множество простых чисел, содержащее - 1, 2 и все простые числа, делящие d - del /, где / - некоторая форма в рассматриваемом роде. Позднее мы увидим, что часто некоторые простые числа можно удалить из П без потери информации. [6]
Пусть теперь ш - произвольное конечное множество слов, не являющихся тождествами в каждой группе D -; тогда ни одно из них не является тождеством в D. [7]
Конечным комбинаторным источником выше было названо произвольное конечное множество. Конечным вероятностным источником назовем произвольное конечное множество S с определенным на нем распределением вероятностей. [8]
Если теперь предположить, что Г - произвольное конечное множество, то получим автомат с переменной структурой, изменяющейся под воздействием управляющего сигнала. [9]
Показать, что в 2 - Р1 - кольце произвольное конечное множество элементов, любые два из которых имеют общее правое кратное, порождает главный правый идеал. [10]
Полученные результаты позволяют производить минимизацию с одновременным объединением в одном автомате произвольных конечных множеств автоматов. [11]
Обозначим через St (, М) класс функционалов, определяемых стековыми преобразователями над ( jZ), М) 9 St0 ( jZ)) - класс функционалов, определяемых стековыми преобразователями над структурой допускающей отметки из произвольного конечного множества. [12]
Конечным комбинаторным источником выше было названо произвольное конечное множество. Конечным вероятностным источником назовем произвольное конечное множество S с определенным на нем распределением вероятностей. [13]
А ок решить, является ли данное конечное множество бескванторных предложений выполнимым. Существование такой процедуры для произвольного конечного множества Г бескванторных предложений гарантируется леммой 12.3, так как либо ( 1) все предложения из Г построены из одних только пропозициональных символов с помощью скобок и связок и в этом случае для решения вопроса о выполнимости множества Г можно использовать истинностные таблицы или какой-нибудь другой хорошо известный метод, либо ( 2) в предложения из множества Г входит ровно п различных термов. Если теперь Г выполнимо, то оно является локально выполнимым и потому в силу леммы 12.3 у Г существует модель, область которой содержит не более п элементов. Итак, Г выполнимо тогда и только тогда, когда оно имеет модель, область которой содержит не более п элементов. [14]
Автомат может иметь не более одного допустимого элементарного шага в каждой ситуации, тогда он является детерминированным. Он может иметь в некоторых ситуациях произвольное конечное множество допустимых шагов, тогда он является недетерминированным. Если нет ограничений на движение входной головки, то автомат называется двусторонним. Если головке позволяется передвигаться только в одном направлении, то автомат будет односторонним. [15]