Автоматизация анализа и синтеза структур ЭВМ и вычислительных алгоритмов