Вопросы полноты для функциональных систем автоматовдиссертация