В статье, носящей научно-методический характер рассматривается один из классических результатов теории формальных языков – теорема Майхилла-Нероуда. Излагается пересмотренное доказательство теоремы с дополнительными акцентами на некоторых подробностях, связанных с алгоритмом минимизации конечных автоматов и с конструкцией конечного автомата при доказательстве достаточности условия теоремы. Рассматриваются также некоторые методы анализа языков на предмет их регулярности/нерегулярности, особенно, когда лемма о разрастании не применима. Продемонстрировано использование теоремы при доказательстве регулярности языка, полученного как частное от деления регулярного языка на произвольный. На базе примеров анализа языков на предмет доказательства их нерегулярности делается некое обобщение: рассматривается специальный класс отношений на множестве натуральных чисел, и на этой основе доказывается одно достаточное условие нерегулярности для весьма широкого класса языков.

В настоящее время, для обучения студентов по военно-учетной специальности радиотехнических войск (ВУС РТВ), организуются учебно-ознакомительные практические занятия, которые, как правило, связаны с выездом в воинские части, в которых имеются необходимые радиолокационные станции (РЛС). Организация таких выездов требует больших временных и материальных затрат и высокой степени подготовленности студентов. Внедрение в процесс обучения комплекса «Тест» позволит студентам проходить обучение, вырабатывать и тренировать практические навыки работы на комплексе средств автоматизации (КСА) и РЛС, находясь в учебной аудитории своего ВУЗа, что позволит улучшить качество и эффективность процесса обучения. Также, обучение на имитируемых РЛС оберегает от возможности поломки дорогостоящего оборудования и риска получения травмы в процессе обучения. Анализ различных вариантов обучения лиц боевых расчетов показал, что для наиболее эффективного обучения военнослужащих требуется как теоретическая, так и практическая подготовка. Однако переход от теории к практике на действующей технике сопряжен с рядом проблем, таких как большая вероятность поломки техники неопытными студентами и риск получения травмы. Таким образом, назрела необходимость в промежуточном звене в цепочке обучения, которое позволило бы обеспечит плавный и высокоэффективный переход от теоретического обучения к практическому, сводя к минимуму вышеперечисленные проблемы. На текущий момент таким потенциалом обладает «Изделие 96У6М» (шифр – «Тест»). Это новейшая разработка отечественных военных специалистов. Полное наименование комплекса – «Мобильный комплекс объективного контроля боеготовности и тренировки боевых расчетов РЛС (радиотехнических подразделений)». Изделие позволяет объединять теоретическое и практическое обучение в рамках одной системы, что приводит к значительному повышению эффективности в обучении.