##article.return## Формалізація процесу зміни станів програмних об’єктів складних систем на основі скінченних автоматів Мура Завантажити ##common.downloadPdf##