Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
автомат многоленточный
Документи:
- Борисенко, В. И. Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов [Текст] / В. И. Борисенко // Кибернетика и системный анализ. – 2015. – Т. 51, № 5. – С. 63-72.
- Григорян, А. А. Эквивалентность двумерных многоленточных автоматов [Текст] / А. А. Григорян, С. К. Шукурян // Кибернетика И Системный Анализ. – 2008. – № 01. – 10.
- Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов [Текст] / В. А. Захаров // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 39-48.
- Подловченко, Р. И. Об одном подходе к разрешению проблемы эквивалентности [Текст] / Р. И. Подловченко, В. Е. Хачатрян // Программирование. – 2004. – № 3. – 3-20.
- Хачатрян, В. Проблема эквивалентных преобразований для однородных многоленточных автоматов [Текст] / В. Хачатрян // Прогаммирование. – 2008. – № 3. – 77-80.
- Хачатрян, В. Е. Полная система эквивалентных преобразований для многоленточных автоматов [Текст] / В. Е. Хачатрян // Программирование. – 2003. – № 1. – 62-77.
|