Cтраница 4
Возврат на шаг) предыдущая литера, записанная в массив, исключается из него. Когда вводится управляющая литера endofline ( Конец строки), находящиеся в массиве литеры должны быть напечатаны. Следующие вводимые литеры должны записываться в массив, начиная с первого элемента. После получения управляющей литеры endoffile ( Конец файла) должна быть напечатана последовательность литер, содержащаяся в массиве, и, кроме того, выполнение программы должно быть остановлено. [46]
Существуют различные типы редактирования. Простейший тип редактирования заключается в дополнении пробелами: если размер принимающего данного больше размера пересылаемого данного, то лишние позиции заполняются пробелами. Затем следует простая вставка, при которой пробел или нуль могут быть автоматически вставлены внутрь последовательности литер. Этот последний тип редактирования допускает вставку различных литер, подавление ведущих нулей и другие действия, которые будут описаны ниже в этом разделе. [47]
В программах часто используются сообщения, составленные из последовательности литер. Такая последовательность называется цепочкой. Эта программа считает до десяти - константа-цепочка. Различие между литерой и цепочкой состоит в том, что литера может содержать только одну литеру, тогда как в цепочке может содержаться последовательность литер. Помимо значения и типа, каждая цепочка имеет определенную длину. Длина переменной-цепочки может меняться во время выполнения программы, так же как и ее значение. Обратите внимание, что цепочка из одной литеры относится к типу CHAR. Чтобы отметить текущий конец цепочки, после ее последней литеры автоматически вставляется специальная литера конец цепочки ОС ( ноль в коде ASCII) при условии, что длина цепочки не превышает ее максимума, который должен быть задан программистом. [48]
Упорядоченная бинарная резольвента дизъюнктов С и С ( не имеющих общих переменных) определяется следующим образом. Если L и 1 / 2 имеют НОУ о -, и С есть упорядоченный дизъюнкт, полученный из конкатенации последовательностей С а и С а путем удаления L a и L a и вычеркивания из оставшейся последовательности любой литеры, которая идентична младшей литере последовательности, то С называется упорядоченной бинарной резольвентой. [49]