Cтраница 4
Возьмем произвольное множество X, о котором лишь предположим, что оно не пересекается с множеством символов операций Q. Ош, причем все эти символы различны и не являются элементами множеств X и Q. Определим понятие слова ( точнее, Q-слова) над алфавитом X. [46]
Они образуются путем наложения на греко-латинский квадрат латинского квадрата таким образом, чтобы каждая комбинация из двух множеств символов встречалась бы ровно один раз. Три таких исходных латинских квадрата называются ортогональными в совокупности. [47]
Ад /: G - Rs - Если X находится в G, то hit ( X) есть множество символов, перечисляемых при прохождении машины через последовательность состояний X. [48]
Тип данных - это множество объектов, в котором объединяются 1) множество операций, 2) множество тестов и 3) множество символов. Например, целое 0 является типом данных с операциями, , тестами, и множеством символов в виде десятичных или двоичных цифровых строк. Спецификация типа данных обозначается ключевым словом type, которое определяет имя типа и таблицу операций и тестов. [49]
Для заданного р множество символов 5 будет называться сильно р-перечислимым, если существует р-ма-шина, производящая ( в любом порядке) это множество выходных символов с положительной вероятностью. [50]
Для каждого f F состояние / а определяет модель ( &), Ф, / а), где Ф - множество символов отношений, входящих в схему. Естественно предполагать, что гомоморфизм баз данных обеспечивает такое сопоставление состояний, при котором исходный б: 3) - 2) является одновременно гомоморфизмом моделей. Это свойство, как мы сейчае увидим, в действительности содержится в условии, связанном со второй диаграммой. [51]