TY - BOOK AU - Ветрова,Мария Викторовна AU - Евтушенко,Нина Владимировна ED - Томский государственный университет. TI - Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов: Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 PY - 2003/// CY - Томск PB - б. и. KW - диссертации KW - конечные автоматы KW - контроллеры KW - компенсаторы KW - алгоритмы синтеза KW - тесты условные KW - автоматные уравнения KW - синтез оптимальных контроллеров KW - автоматы абстрактные KW - цифровые устройства управления KW - синтез проверяющих тестов KW - топология контроллера KW - декомпозиция управляющих автоматов KW - микропрограммные автоматы KW - структурные автоматы KW - детерминированная редукция KW - дискретные управляющие системы N1 - Библиогр.: л. 127-137 ER -