TY - BOOK AU - Кушик,Наталья Геннадьевна ED - Томский государственный университет TI - Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов: диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 PY - 2016/// CY - Томск PB - [б. и.] KW - Системный анализ, управление и обработка информации KW - nsnr KW - диссертации KW - автоматы конечные KW - автоматы конечные детерминированные KW - автоматы конечные недетерминированные KW - полуавтоматы синхронизируемые KW - эксперименты с автоматами умозрительные, синтез KW - эксперименты с автоматами адаптивные KW - эксперименты с автоматами проверяющие N1 - Библиогр.: л. 274-287; Доступ в сети ТГУ UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539855 ER -