ИСТИНА

Диссертация имеет теоретический характер. Результаты получены лично автором, являются новыми и состоят в следующем. 1. Получен критерий частичной угадываемости общерегулярных множеств. %Критерий содержит как описательную часть, то есть характеризует множество как неугадываемое, если в нем содержится любое подслово, так и алгоритм, за линейное время определяющий, является ли множество частично угадываемым. Так как любое общерегулярное множество представимо конечным автоматом, угадываемость определяется структурой этого автомата. В случае, если множество угадываемо, строится угадывающий конечный автомат, причем он отличается от принимающего только выходной функцией. %Такую же структуру имеет и автомат, угадывающий с максимально возможной степенью. Также предложен способ построения угадывающего автомата, основанный на информации о словах, не встречающихся во множестве последовательностей. Получен способ нахождения для общерегулярного множества наибольшей возможной степени и построения автомата, угадывающего его с этой степенью. 2. Получен критерий частичной угадываемости сверхитераций языков, порожденных простыми $LL(1)$-грамматиками. Для частично угадываемых сверхсобытий строится угадывающий алгоритм, реализуемый автоматом с магазинной памятью. Частичная угадываемость рассматривается в смысле верхнего и нижнего пределов доли верно предсказанных символов. Критерии и алгоритмы для этих двух случаев различаются. 3. Для сверхитераций детерминированных контекстно-свободных языков, сохраняющих детерминированность при итерации, получен критерий частичной угадываемости в смысле нижней степени. 4. Получены оценки степени угадывания, причем они достижимы, то есть для множеств с наименьшей возможной долей предложенный алгоритм угадывает именно столько.