|
Кушик, Н. Г. О сложности проверки существования установочных последовательностей для недетерминированных автоматов [Текст] / Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко // Программирование. – 2014. – № 6. – С. 48-53.
Рассматривается сложность задачи проверки существования установочной последовательности для наблюдаемого полностью определенного недетерминированного автомата. |