Об автоматной детерминизации множеств сверхслов

В работе вводится понятие детерминизирующего автомата, который для каждого поданного ему на вход сверхслова из заданного множества, начиная с некоторого шага, в каждый момент $t$ выдает значение входного слова в момент $t+1$, то есть предугадывает входное сверхслово. Получен критерий детерминизируемости заданного множества сверхслов – множества, для которого существует детерминизирующий автомат. Приведен наилучший по порядку метод построения детерминизирующего автомата для произвольного детерминизируемого множества сверхслов. Для некоторых детерминизируемых множеств построены оптимальные и асимптотически оптимальные детерминизирующие автоматы.