Типо-хищение для преобразования деревьев на основе модели

arXiv: 2610.11337v1 Аннонс Тип: перекрестное резюме: Мы представляем и изучаем преобразования деревьев на основе рисунков. В качестве иллюстративного примера можно привести $(x kdot y) + (х x cdot Z) долл. Этот исходный рисунок соответствует любому выражению $(e_1 cdot e_2) + (e_ 1 cdot e_3) долл. США (заменяя доллары x долларов на $e_1, yarks с $эк=2 долл., а также US$ с ~3 долл.) и пара преобразует их в выражение $ec_1 ·cdot (e _ 2+ е_3), как это предписывается целевой схемой. Обратите внимание, что в этом примере набор выражений, которые соответствуют исходному образцу, не является обычным языком дерева. Мы предлагаем модель преобразования деревьев, полученную с помощью конечных представлений (возможно бесконечного) набора таких пар (источниковая структура, целевая схема). Выражающая способность этой модели зависит от невозможности проверки эквивалентности. Тем не менее мы показываем, что проблема проверки типа может быть решена для нашей модели преобразования деревьев на основе рисунков. Тип...