В.Н. Пильщиков - Язык Плэнер, страница 15

и„) е) а, аг .. а ) [ВО [ВКР11(Е т' (1АМВОА (и» иг ... и„) ец [т' а» аг . а.]] Относительно последнего правила преобразования следует сделать эамечаняе. В лиепе при обращении к функции разрешается вместо ее имени аэписывать определяющее выражение атой функции. В планере так делать нельзя, поэтому'подобное лисповское обращение заменяется на два действия — на определение функции с давным определяющим .выражением и с каким-нибудь именем'и на последующее обращение к атой функции по имени. Указанные правила преобрааования мы кладем .в основу следующей плэнерской программы, которая решает поставленную задачу: [ВЕР11)Е СОМР (ЬАМВВА (Ь) [СО»1В ([АТОМ .Ц [СОМРАТОМ .Ц) ([ЕО Ь ()] ()) (Т [СОМРЫБТ .Ц)])] Эта функция осуществляет преобразование одного лисповского выражения Ь: если.

Ь вЂ” атом, тогда к Ь применяется функция СОМРАТОМ, если Ь вЂ” непустой список, то применяется функция СОМРЫБТ; а если Ь вЂ” пустой список, тогда эквивалентное плзнерское выражение определяется сразу. [ВЕР11»Е СОМРАТОМ (1АМВОА (А) [СО1)В ([»11)М .А] .А) ЦЕ(].А Т] Т) И ([ЕО .А гПЦ ()) (Т [ЕТЕ .А [О1)ОТЕ .С]])]Ц Функция СОМРЛТОМ преобразует лиоповские атомы в эквивалентные плзнерские вырангекия: числа и атом Т не меняются, атом г(1Ь, который в лиепе вквивалелтен пустому списку, преобразуется в (), а все остальные атомы (в лиепе это переменные) преобразуются в плэнерские .-переменные.

[ПЕР1ХЕ СОМР11БТ (ЬЛМВОЛ (Ь) [РВОО (Р) [Р1г) Р Ц [СОР(О ([ЕО .Р ОКОТЕ] [1 Ц) ([Е() .Р САВ] [РОЕМ [1 [СОМР [1 .Ц]]]) ([ЕО .Р СОК] [РОЕМ [ВЕБТ 1 [СОМР [1 .Ь]]Ц) ([ЕО .Р СОР)Я] [СОМРСОР(Б [1 .Ь] [2 .Ц]) ([еО .Р с01чО] [сОмРс01чО .Ц) ([ЕО .Р БЕХРК] [СОМРОЕР()Х [1 .Ь] [2 .Ц]) ([ЦБТ .Р] [СОМРЬЛМВЭА .Р .Ц) (Т [РОКМ [ Р (СОМ РАВ ОБ .Ь) ] ] ) ] ] Ц [ОЕР1ЕЕ СОМРАКОЯ (ЬЛМВПА (Ь) [СОг(О ([ВМРЕ .Ц ()) (Т ([СОМР [1 .Ц] (СОМРЛВСБ. [ВЕЯТ 1 .Ц)))])] Следующие четыре функции нашей программы ют трансляцию конкретных лисповских фущщлй, осуществля- 72 Функция СОМР1.1БТ преобразует непустые списки, которые представляют собой обращения к лнсловским функциям.

СОМРЬ)ЯТ выделяет все особые случаи преобразования и для них либо сама, либо с помощью других функций программы строит эквивалентные плэиерские выражения. Последняя клауза условного выражения соответствует общему случаю преобрааования, при котором имя лисповской функции не меняется, а последовательность ее аргументов заменяется на последовательность эквивалентных плэнерских выражений. Так преобраеуются обращения к кисловским встроенным функциям АТОМ и ЕО, а также обращения ко всем определяемым функциям. Преобразование списка нэ лисповских выражений в список из соответствующих плэнерских выраженнй осуществляется функцией СОМРАВОБ: [ВЕР11(Е СОМРСОМЗ (ЬАМВВА (А! А2) [ВО [ЯЕТ А! [СОМР .АЦ] [ЯЕТ А2 [СОМР .А2Ц [СОР(В ([«ЛН..Л2] (.Л! [ЕТЕ .А2 [ОСОТЕ ЬСЦЦ ([Ь1ЯТР .А2] (.А! [ЕТЕ .А2 [!)ПОТЕ ( >Ц)) ([1,1БТ .А2] (.А! !.А2))Ц)] Эта функцпя преобразует обращение к лисповской функции СОг(Я.

СОМРСО!ЧЯ прежде всего получает плэнерские эквиваленты А1 и А2 обоих аргументов функции СО!ЧЯ, а затем строит 1 список, первый элемент'которого — зто А1, а второй (или остальные) получается так. Если А2 — это;переменная или простое обращение к функции, то в 1 список вставляется сегментный вариант этого обращения, Если же А2 является списком в круглых скобках, то в 1 список вставляются сразу все элементы списка А2, т. е. ре.

зультат зычиглензя лиспавыюй функции СОЕБ здесь выписмвается явно. Возная<си еще один вариант, когда А2 является атомом (например, числом или Т). В таком случае в лиепе образуется точечное выражение, но поскольку мы их не рассматриваем-, то данный вариант игнорируется. [ВЕР1г(Е СОМРСО!«)В (ЬАМНВА (1) [РН06 ((СЬ ())) [100Р Е Ь [ЯЕТ СЬ.(!.СЬ [СОМРАНОЯ .Е]Ц] [РОЕМ [СОг(В !.СЬЦ])] Функция СОМРСОЕВ транслирует лисповсиие условные выражения, т.

е. обращения к функции СОг(В. [ВЕР)ХЕ СОМРВЕРУг! (ЬЛМВВЛ (Р В) [РОЕМ [ВЕР1г!Е .Р (ЬАМВВА [2 .В] [СОМР [3 .ВЦЦ]Ц Функция СОМРВЕРО1! преобразует обращение к лисповской функции БЕХРН, которая определяет новую функцию с именем Р и определяющим выражением В, в соответствующее обращение к плэнерской функции ВЕР1ЕЕ. И, наконец, следующая функция транслирует лисповскнй список, первым элементом которого является ЬАМВВЛ-вырви«ение: [ВЕР1ЕЕ СОМРЬАМВВА (ЬАМВВА (В А) [РН06 (Р) [ЯЕТ У [СЕМЯ«'МЦ [РОЕМ [ВО [СОМРВЕР()г! .Р .В] [РОЕМ [.Р (СОМРАНОБ .А)Ц]Ц)] Н этой функции испольеуется обращение к функции 6Ег(ЗУМ (см.

$ !.18), которая «поставляетз некоторое имя для функции 73 с заданным определяющим выражением. Поскольку СЕХЯЧМ ие относится к числу встроенных функций пленера, она также должна быть описана в нашей программе: [СВЕТ ХСЕХЯЧМ 0] [ВЕР1ХЕ СЕХЯЧМ (1,АМВВА () [ВО [СЯЕТ ХСЕХЯЧМ [+:ХСЕХЯЧМ 1]] [ЬТА (:ХСЕХЯЧМ»)]])] Итак, мы определили все необходимые функции, с помощью которых осуществляется трансляция одного лисполского выражения.

Если мы хотим отранслировать целую лисповскую программу (последовательность выражений), расположенную в некотором файле Р1ЬЕ, и хотим вычислить ее с распечаткой результатов на АЦПУ, то в нашу программу следует включить определение еще одной, основной функции: [ВЕР1ХЕ СОМРП.Е (ЬАМВВА (Р1ЬЕ) [РВОС (Ь) [ОРЕХ .Р1ЬЕ СЕТ] [АСТ1ЧЕ .Р)ЬЕ СЕТ] [АСТ1ЧЕ РАРЕВ РОТ] [%Н1ЬЕ [ХОТ [ЕОГ]] [РВ1ХТ [ЕЧАЬ [СОМР [ВЕАВ]]]]] [СЬОЯЕ .Р1ЬЕ СЕТ]] Ц Последним вырая<ением нашей планерской программы должно быть обращение к функции СОМР1ЬЕ, аргументом для которой укааывается имя файла (скажем, ЛИСП), в котором реально записана лиоповская программа: [СОМР1ЬЕ ЛИСЕ] Вычисление этого выражения и вызовет выполнение описанной выше планерской программы, т.

е. трансляцию и счет лисповской программы. Ф ГЛАВА 2 ОБРАЗЦЫ 2Л. Основные понятия Обработка данных подразумевает, как правило, аналиа стих данных и их преобразование. И то и другое в планере можно осуществлять с помощью функций, рассмотренных в предыдущей главе. Однако для проведения' анализа данных в языке есть более удобное средство — образны, Достоинством образцов является то, что оии в более наглядной п более лаконичной форме, чем функции, описывают правила анализа.

Поатому программы, в которых используются обраацы, получаются более простыми и компактными, чем программы, в которых используются только функции. Синтаксически обраэец — это плэнерское выражение, а содержательно его можно рассматривать как шаблон, который как бы накладывается на анализируемое выражение, чтобы определить, имеет ли оно требуемую структуру. Процесс такого наложения нааывается ссиостаелевиек образца с выражением. Воэможны два исхода сопоставления: удача н неудача. Сопоставление удачно, если анализируемое выражение имеет требуемую структуру; в этом случае говорят, что обраэец и выражение соответствуют друг другу.

В противном случае сопоставление неудачно, выражение не соответствует образцу. При сопоставлении образца с выражением воэможны побочные эффекты: некоторым переменным иэ образца могут быть присвоены новые значения. Пе требуется, чтобы обрааец полностью определял структуру аналиаируемого выражепия. Образец может накладывать ограничения только на пекотерые части выражения, другие же фрагменты выражения могут быть произвольными. В то же'время очень часто необходимо знать конкретный вид таких фрагментов. Для атого в соответствующие позиции образца вставля|отся переменные, которым при сопоставлении и будут присвоены интересующие нас фрагменты выражения. Таким обраэом, с помощью образцов можно не только убедиться, что анализируемое выражение имеет определенную структуру, яо и узнать заранее неизвестные его части. Образцы делятся на яро«ты« и сегментные.

Простые обраацы всегда сопоставляются с одним выражением. К таким обраацам относятся: — атомы; — простые обращения к константам и переменным; — простые обращения к функциям; — 1 списки, элементами которых являются (любые) образцы; — простые обращения к процедурам, называемым соиоставителями. Сегментные обраацы всегда сопоставляются с последовательностями выражений- (сегментами). Самостоятельно эти образцы не испольауются и могут встречаться лишь как элементы образцов-списков или как аргументы функций и сопоставителей.

К сегментным образцам относятся: — сегментные обращения к константам и переменным; — сегментные обращения к фупкцпям; — сегментные обращения к сопоставителям. Никакие другие плэнерские выражения испольаовать в качестве образцов нельзя. ' В дальнейшем мы будем обозначать образцы через ра1 (возможно, с индексами: ра«ь рагг и т. и.) и будем, если не сказано иное, под «обраацомг понимать «простой образец». Сопоставление образца с выражением осуществляет Функция 1Я: [1Я ра«г), РЯУВВ. Свой первый аргумент — простой образец ра1 — фушсция 1Я не вычисляет.