资源描述：
《1971 turchin programmirovanie na yazyke refal 3 programmirovanie na bazisnom refale外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、ОРДЕНАЛЕНИНАИНСТИТУТПРИКЛАДНОЙIАТЕМАТИRИАКАДЕМИИНАУКСССРВ.Ф.ТурчинПРОГРАММИРОВАIIИЕНАЯЗЫКЕРЕФАд111.Проrраммированиенабазисномрt•фн:tс•Препринт.М44за1971гМоскваОРДЕНАЛИIИНАИНСТИТУТПРИКЛАдНО•lМАТЕМАТИIМАКАДЕ!iiИИНАУКСССРВ.Ф.ТУРЧИНПРОГРАММИРОВАНИЕНАЯ3J!КЕРЕРА
2、ЛШ.ПРОI'РАММИРОВАНИЕНАБАЗИСНОМРЕФАЛЕМосква,I9?Ir.3I.БазисныйыеФалВведянекоторыеограничениянасредства,предусмотренныеФормальнымописаниемрефала,мыполучимязьm,который,соднойстороны,допускаетдостаточнопростуюреализацию,асдругойстороны,достаточнобогатдлякомпактн
3、ойипрозрачнойзаписиалгоритмовЯЗЬIRО:ВЫХиреобразований.МьtназовеМЭТОТЯЗШt(ПОД'ЪЯЗШtрефала)базиснымрефалом.Описаниерефалавработах[3]и[6]относится,сточкизрениянынешнейтерминологии,кбазисномvрефалу(сточностьюдонебольmихмодификаций).Рефал-трансллторн,описанныевр
4、аботах[4,8]'такжеЯВJlЯЮТСЯтрансляторамидлябазисногорефалах)•Вбазисномрефалевводятсяследупциеограничения.I.Запрещаетсяиспользованиерекурсивныхсвободныхпеременннх,иначеговоря,послеуказателяпеременной~_,Yfили~долженследоватьобъектныйзнак.2.Эапрещаетсяиспользов
5、аниесимволовобмена1§1и~,норазрешаетсяиспользованиемашинныхпроцедурзака.пнванияив~mаТПlВЯния(1~t<.'..,'~к'),какониописанывГлаве3.Такимобразом,обменинформациеймеждуполемзренияиполемпамятидопускаетсялишьвтойстепени,вкакойэтовозможноспомощьюпроцедур1~~<:.1и~к'•
6、Лучшевсегоописатьэтуситуациюкакполностьюфиксированноеполепамятипридополнительнойвозможностиприсваиванияименамзначений.х)Внастоящеевремя{апрельI9?Iг.)заканчиваетсяотладкакомпиляторасnолного~ефала.Списоклитературнсм.в5-омвыr~ус!е.''.аннойсерии4Открытыеизакры
7、тыепеременные.ФорматыФункций.наличиеоткрытойпеременнойвыражениявлевойчастипредложенияпорождаетнеобходимостьпросмотраотождествляемоговыражения.Поэтомуоткрытымипеременнымиследуетпользоватьсятольковтехслучаях,когдапросмотрнеобходимпосмыслуалгоритма.Мыприводили
8、впредьщущейглавепримерпростойпроцедурыпросмотра,заментощейвсезнаки+(наверхнемуровнескобочнойструктуры)знаками(См.предложения§8настр.2/28).Приведемещеодинпример.Пустьнадопросмотретьданноевыражение,и:каж
