Задача выразимости автоматных функций относительно расширенной суперпозициидиссертация