Page 12 - 6285

формалізації синтаксису та семантики мов і методи розробки
мовних процесорів. З другого боку, досліджувався і оформлявся
у наборах мовних конструкти вів категоріальний базис
спілкування з комп’ютером. З’явилися перші непроцедурні мови
для опису механізмів обробки даних.
Кількість версій мов програмування наближалася до тисячі
і для кожного нового комп’ютера розроблялася своя мова. Щоб
розв’язати проблему мобільності програм, з 1970-х років у Києві
розпочалися роботи зі стандартизації мов програмування. У 1979
р. було створено державний стандарт мови Кобол, оновлений у
1990 р.
У 1970-80-ті роки остаточно оформився предмет
теоретичного програмування як наукового напряму. На той час
уже розвинулася теорія алгоритмічних алгебр Глушкова; широко
використовувався апарат теорії автоматів і формальних мов;
розпочалася формалізація методів представлення знань.
Основним здобутком школи стало створення алгебро-
граматичного АГ-апарату синтезу програмованого продукту.
Цьому була присвячена монографія «Алгебра. Языки.
Программирование» (В. М. Глушков, Г. Є. Цейтлін, К. Л.
Ющенко), яка тричі перевидавалася в СРСР і за кордоном.
Практичним втіленням цього апарату стала реалізація кількох
версій синтезатора «Мультипроцесист» Фортран-Сі, або
Паскаль-програм для різних комп’ютерних платформ.
АГ-методи активно розвивалися. На сонові набору
компонентів багаторазового використання було реалізовано і
впроваджено у виробництво нові інструментальні комплекси.
З допомогою створеного інструментарію вдалося згенерувати
понад десять професійних систем різного призначення.
АГ-апарат представлення знань реалізовано як
інструментарій реляційно-мережевої системи керування базою
даних «Мікпропошук». Її ефективність вже перевірено і
підтверджено рядом практичних застосувань. Зокрема, система-
оболонка «Фактор», призначена для обґрунтування
управлінських рішень, використовується під час навчання з
курсів «Адміністративний менеджмент» і «Менеджмент у
виробничій сфері» на економічних факультетах. Комплекс
«Геопошук» допомагає оперативно інтерпретувати результати
геолого-геофізичних досліджень нафтогазових свердловин,

12