К вопросу об использовании понятия сопряженного по отношению к бесскобочным выражениям

Abstract

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