Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.srcc.msu.ru/nivc/sci/publ/2011/r4n040.htm
Дата изменения: Mon Jun 25 14:44:44 2012
Дата индексирования: Mon Feb 4 01:53:36 2013
Кодировка: Windows-1251
Подловченко Р.И. Конечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентности // Проблемы теоретической кибернетики. Материалы 16-й Международной конференции 'Проблемы теоретической кибернетики' (Нижний Новгород, 20-25 июня 2011 г.), изд-во Нижегородского гос. универ-та, 2011, с. 368-371.

Подловченко Р.И. Конечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентности // Проблемы теоретической кибернетики. Материалы 16-й Международной конференции 'Проблемы теоретической кибернетики' (Нижний Новгород, 20-25 июня 2011 г.), изд-во Нижегородского гос. универ-та, 2011, с. 368-371.

Ключевые слова: