Оценки длины и вычислительной сложности синхронизации конечных автоматов
Мартюгин Павел Владимирович. Оценки длины и вычислительной сложности синхронизации конечных автоматов : диссертация ... кандидата физико-математических наук : 01.01.09 / Мартюгин Павел Владимирович; [Место защиты: Ин-т математики и механики УрО РАН].- Екатеринбург, 2008.- 123 с.: ил. РГБ ОД, 61 09-1/201