Cтраница 4
В правильности этого утверждения мы убедимся, если нам удается показать, что в полугруппе существует левый единичный элемент и вместе с каждым элементом она содержит элемент, обратный ему относительно левой единицы. [46]
Пусть П ( 2 3) осуществляет перенос ( без стирания) основного кода со 2 - й решетки на пустую решетку с номером 3, причем в начальный момент обозревается левая единица основного кода на 2 - й решетке, в конце преобразования - некоторая ячейка 2 - й решетки, и запись на остальных решетках не меняется. [47]
Пусть ср - гомоморфизм мультипликативного множества MI на мультипликативное множество Ж2 - Пусть Mi обладает каким-либо из основных свойств: ассоциативностью, коммутативностью, обратимостью слева, обратимостью справа, наличием левых единиц, наличием правых единиц. [48]
Если подлежащая вычислению функция определена для набора значений аргументов, представленного в начальный момент на ленте, то машина спустя некоторое время останавливается в стандартной заключительной конфигурации, т.е. считывая самую левую единицу в их блоке, записанном на ленте с пустыми символами во всех остальных клетках. Количество единиц в этом блоке и есть значение функции для данного набора значений аргументов. [49]
Оператор О ( 1, 2, 4) производит очистку решеток 1, 2, 4, ориентируясь массивом из единиц на 4 - й решетке, и останавливается над левой единицей на 3 - й решетке. [50]
Ограничения, касающиеся записи чисел блоками единиц ( в дальнейшем мы будем называть такую запись единичечной) - вместо, скажем, десятичной записи - и стандартности начальной и конечной конфигураций ( считывания самых левых единиц), несущественны; однако некоторые предположения относительно начальной и конечной позиций машины должны быть сделаны, причем эти предположения представляются нам чрезвычайно простыми. [51]
Геометрическое изображение числа т иа шкалах А и В. [52] |
Если сначала умножить 135 на 20, а затем полученный результат разделить на 26, то нужно сделать два перемещения движка: выдвинуть его вправо, совмещая отметку 1 - 3 - 5 на корпусе линейки с левой единицей движка, визир установить против отметки 2 - 0 - 0 и, не читая результата на основной шкале корпуса против визира, снова перемещать движок влево до тех пор, пока отметка 2 - 6 - 0 не совпадет с визирной линией бегунка. [53]