Исследование алгоритма, задающего функцию выхода прогнозирующего автомата

В данной работе показано, что оптимальная функция выхода может быть получена алгоритмом, который используется в доказательстве критерия прогнозируемости для общерегулярных сверхсобытий в многозначном алфавите, а также, что степень прогнозирования сверхсобытия автоматом, полученным путем использования этого алгоритма, может отличаться от оптимальной в любое количество раз.