Cтраница 4
Программа, исходные данные в результате вычислений в машине представляются бинарными кодами. Переход от двоичного представления к естественному и обратно происходит при помощи специальных устройств перекодировки. В последнем случае алгоритм решения задачи можно не приводить к виду программы, так как, зная правила перевода с одного языка на другой, можно возложить эту операцию ( трансляцию) на машину. [46]
В том случае, если товар уже передан и продавец уступает другому лицу требование его оплаты, речь идет об обычной цессии, в результате которой продавец из договора полностью выбывает. Если же товар еще не передан, то для замены продавца одной лишь уступки права требования недостаточно, так как у него сохраняется обязанность по передаче товара. Условно данная операция названа нами как уступка договора. При ее совершении должны соблюдаться и правила уступки права требования, и правила перевода долга ( см. разд. [47]
Один из таких методов состоит в том. ЭВМ разбивается на этапы. На одном этапе программист составляет программу в такой форме, в которой ему легче эту программу придумать. Формальными эти правила являются в том смысле, что их применение к промежуточной форме требует педантичной точности, но не требует понимания того, что делает программа. Другими словами, эти правила единым образом применимы к любой промежуточной форме программы. Последнее обстоятельство позволяет правила перевода промежуточной формы программы в машинную описать в виде общего алгоритма. [48]