Аннотация:
Изучаются алгоритмические вопросы декомпозиции конечнозначного преобразователя в объединение однозначных и вложенности произвольного преобразователя в конечнозначный. Предлагаются алгоритмы, частично улучшающие оценки эффективности известных аналогичных алгоритмов.
Поступила в редакцию: 12.02.2014 После переработки: 03.06.2015
Di-De Yen, Hsu-Chun Yen, “On the decidability of the valuedness problem for two-way finite transducers”, Information and Computation, 285 (2022), 104870