Cтраница 4
Нижние границы для сингулярного класса, а также для классов Геделя и Шенфинкеля - Бернайса получены прямым сведением проблемы допустимости на недетерминированной машине Тьюринга с экспоненциальным временем. Трудность этого сведения состоит в экономном представлении отношения следования между кодами натуральных чисел формулами первого порядка. [46]
ЭВМ, а те внутренние коды, в которые интерпретируются эти сообщения. Отметим, что отношение синонимии должно быть согласовано с отношением следования сообщений RS. [47]
С помощью предикатов формируются пространственно-временные и другие отношения между элементами ситуаций. Например, формирование понятия караван судов осуществляется с помощью предиката, устанавливающего отношение следования предметов в пространстве. Правила структурирования ситуаций, задаваемые в виде предикатов, получили название правил корреляции, а совокупность этих правил названа корреляционной грамматикой. Отношения, устанавливаемые между элементами ситуации с помощью корреляционной грамматики, характеризуют непостоянные ( ситуативные) связи между объектами. Если предположить, что каждый предмет ситуации, возникшей в объекте управления, может быть потенциально связан с другими предметами множеством отношений, рассматриваемым в языке имитации, то правила корреляции можно истолковать как правила вычленения существенных отношений между предметами. Правила корреляции формулируются в общем виде следующим образом. [48]
По своему значению эти две формы существенно отличаются одна от другой. Временное значение Futur immediat совпадает с таким же значением Futur simple, называя процесс, находящийся в отношении следования к плану настоящего. [49]
Временной план настоящего является отправной точкой для двух других временных планов: прошедшего и будущего. К первому из них относятся все процессы, предшествующие настоящему, ко второму же процессы, находящиеся к настоящему в отношении следования. [50]