STEP07sep23AntoninaNepeivoda

Антонина Николаевна Непейвода (Московский государственный технический университет им. Н.Э. Баумана и Институт программных систем имени А.К. Айламазяна, Переславль-Залесский): Jez Recompression Algorithm for Solving Word Equations: from Theory to Implementation Аннотация: Arthur Jez introduced his recompression algorithm for solving word equations in 2013, in terms of non-deterministic computations. For now, the algorithm remains a purely theoretical concept. We describe a natural idea of subword counting, underlying the recompression technique, and some details of the algorithm experimental implementations in the functional language Refal. (Доклад представляет совместную работу с Ильёй Афанасьевым.)