При реализации языка Рефал обрабатываемые символьные выражения обычно отображаются на двусвязную списковую память. Такое представление достаточно удобно и логично с точки зрения языка. Вместе с тем, практика работы на Рефале показывает, что не все его возможности одинаково используются. В частности, чаще выполняется левосторонний, а не правосторонний просмотр выражений. В данной работе сделана попытка использования при реализации Рефала не двусвязной, а односвязной памяти. При этом преследовалась цель более экономно использовать машинную память, а также унифицировать списковую память, применяемую в реализациях языков Лисп, Рефал и Пролог. Унификация списковой памяти позволила бы легко аппаратно реализовать эти языки в одном символьном процессоре. Предлагаемая в работе новая реализация Рефала учитывает также расширение этого языка по типам обрабатываемых данных.

обработка символьной информации, списковая память, Лисп, Рефал, алгоритм отождествления

Программирование, параллельные вычисления, мультимедиа