Глава
Логико-термальная эквивалентность программ с динамической памятью
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.)
В книге
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы покажем, что этим методом можно воспользоваться для минимизации стандартных схем программ относительно л-т эквивалентности в случае, когда эти схемы определены над ортогональными консервативными подстановками.
Процесс переговоров является одной из самых сложных ситуаций межкультурного делового общения. Участники переговоров часто относятся к разным деловым культурам, что может явиться причиной непонимания или ошибочного толкования слов и поведения сторон. В статье рассматриваются темпоральные смыслы, которые формируются в переводческом пространстве в условиях учебных деловых переговоров. Кроме того, анализируются варианты выбора переводчика при транспонировании темпоральных смыслов с учетом концепции моно- и полихронных культур. В соответствии с четырьмя уровнями перевода были выделены типы этнолингвокультурной адаптации темпоральности в переводческом пространстве деловых переговоров.
Основной целью статьи является выявление значения принципа взаимного признания для реализации свободы предоставления услуг и оценка эффективности применения этого принципа. Обращается внимание на неоднозначность анализируемого принципа ввиду существования в доктрине разных подходов при определении его сути. На основании исследования актов вторичного права ЕС, практики Суда ЕС, а также различных доктринальных взглядов дается характеристика содержания принципа взаимного признания. Проводится сравнительный анализ товаров и услуг как объектов трансграничных экономических отношений, выявляются особенности применения принципа взаимного признания в сфере предоставления услуг. Дается оценка применения принципа взаимного признания, формулируются причины, препятствующие его реализации. Особое внимание уделяется анализу правового регулирования ЕС в сфере признания профессиональных квалификаций.
Исследована задача решения линейных уравнений над множеством подстановок первого порядка. Получена полная классификация вычислительной сложности этой задачи в зависимости от вида уравнений.
Рассмотрены вопросы, касающиеся структурного программирования и проектирования программных систем: основные операторы С++, массивы, функции, динамические структуры данных.
В работе предложен метод решения проблемы эквивалентности линейных унарных рекурсивных программ. Основная его идея состоит в сведении проблемы эквивалентности к известным задачам на графах и задачам теории групп. Выделен класс программных семантик, для которых проблема эквивалентности рассматриваемых программ разрешима за полиномиальное время с использованием предложенной методики.