Алгоритмическая разрешимость проблемы алфавитного декодирования в регулярных языкахтезисы доклада