Cтраница 3
Тип кортежа, как и тип записи в других языках программирования, определяет декартово произведение типов компонентов и представляет собой список пар идентификатор, тип, заключенный в круглые скобки. Однако в отличие от типа записи, тип кортежа в Галилео есть контекст, образованный по всем правилам построения контекстов, рассмотренным в разд. [31]
Понятие кортежа вводится индуктивно. [32]
Понятие кортежа несколько менее популярно, чем понятие множества, но почти столь же фундаментально. Так же, как понятие множества, оно заимствуется непосредственно из опыта ( хотя это понятие и можно формально определить через понятие множества, но лишь весьма искусственно); сам термин кортеж, как и термин множество, допускает ряд синонимов, ничего не разъясняющих по существу, но служащих некоторым психологическим подспорьем для понимания. [33]
Использование кортежа весьма удобно для записи цифровой информации при автоматизированном проектировании. В отличие от простого множества кортеж обладает следующими ценными свойствами: компоненты его могут повторяться, каждая компонента кортежа занимает в нем совершенно определенное заранее обусловленное положение. [34]
Решение кортежа определяется следующим образом. [35]
Модификация кортежа в БКНФ-отношении показательна в том смысле, что она не приводит к необходимости распространять изменения на непредсказуемое число кортежей. Поэтому резонно полагать, что приведение в нормальную форму дает положительный эффект, по крайней мере, для отдельного отношения. [36]
Если искомого кортежа найти не удается, запрашивающий процесс приостанавливается до тех пор, пока другой процесс не поместит в пространство кортежей нужный кортеж. Автоматическая блокировка и разблокирование процесса означает, что не имеет значения, которая операция будет выполнена раньше, операция ввода или вывода. Разница заключается только в наличии задержки, если ввод будет выполнен раньше вывода. [37]
Шаблон и кортеж имеют одинаковое количество полей. [38]
Если такой кортеж обнаруживается, он удаляется из пространства кортежей и переменной i присваивается значение третьего поля. В пространстве кортежей может содержаться даже несколько копий одного и того же кортежа. [39]
Затем находим кортежи 5 с такими Б - значениями и печатаем ассоциированные с ними С-значения. [40]
В SystemR кортежи могут иметь переменную длину. Поэтому не всегда возможно оставлять кортежи там, где они находятся, без потери пространства памяти. [41]
Предложение 11.3. Кортеж ( ц, U, г, V) из ядер и аннуляторов, соответствующий автомату А, является согласованным. [42]
Поэтому иногда кортежи называют конечными упорядоченными множествами, что не очень хорошо, так как компоненты кортежа, в отличие от элементов множества, могут повторяться. [43]
Если такой кортеж обнаруживается, он удаляется из пространства кортежей и переменной i присваивается значение третьего поля. В пространстве кортежей может содержаться даже несколько копий одного и того же кортежа. [44]
Согласно A3 кортеж / отображается в истинностное значение t, которое, следовательно, и является значением первого предложения. [45]