Разработка фреймово-продукционной модели синтеза цифровых автоматов на основе метода спецификации состояний и ее программная реализация средствами реляционной СУБД - Автореферат
Выбор базового метода синтеза автоматов, хорошо адаптируемого к автоматизации.Создание интерпретатора экспертной системы синтеза автоматов. Обоснование возможности погружения фреймовой модели в среду реляционной системы управления базами данных.