Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
автомат недетермінований, автомат недетерминированный
Документи:
- Бурдонов, И. Б. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай [Текст] / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин // Программирование. – 2004. – № 1. – 4-24.
- Громов, М. Л. Синтез различающих экспериментов для временных автоматов [Текст] / М. Л. Громов, Н. В. Евтушенко // Программирование. – 2010. – № 4. – С. 40-50.
- Кушик, Н. Г. О сложности проверки существования установочных последовательностей для недетерминированных автоматов [Текст] / Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко // Программирование. – 2014. – № 6. – С. 48-53.
- Салапатов, В. І. Порядок опису і обробки графа автоматної моделі програми [Текст] / В. І. Салапатов // Математичні машини і системи. – 2021. – № 3. – С. 121-125.
- Салапатов, В. І. Формування оптимального машинного коду програм під час його синтезу [Текст] / В. І. Салапатов // Математичні машини і системи. – 2012. – № 2. – С. 74-80.
|