Задача k-конечнопорожденности предполных классов линейных автоматовтезисы доклада