Cтраница 4
Мы не случайно начали предыдущее предложение с если - на самом деле выписанное выше обращение к подпрограмме может оказаться ошибочным. Дело в том, что машинные команды размещаются в памяти, вообще говоря, с целочисленной границы полуслова. А поскольку команды в ЕС ЭВМ могут представляться разным числом полуслов, то адрес а, фиксируемый в регистре РВ, может не быть целочисленной границей слова, тогда как адресные константы, размещенные вслед за командой перехода к подпрограмме, обязательно будут выравнены на целочисленную границу слова. Таким образом, адрес а может отличаться от адреса первой из заданных адресных констант, а это приведет к ошибке в программе. Для избежания такой ситуации необходимо обеспечить размещение команды перехода к подпрограмме с целочисленной границы слова - тогда действительно адрес а будет адресом первой из заданных далее адресных констант. [46]
Про функцию h из предыдущего предложения будем говорить, что она определена возвратной рекурсией по кусочной схеме или что она определена кусочно возвратной рекурсией. [47]
В силу следствия из предыдущего предложения произведение нетерово, и, следовательно, в силу предложения 1 модуль М нетеров. [48]
Теорема непосредственно вытекает из предыдущего предложения. [49]