Бибило, П.Н.; Романов, В.И.
(Управляющие системы и машины, 2017)
Разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, ...