(Вища школа, 1984) Ткачук, Н. В.; Баженов, Вячеслав Григорьевич
Рассмотрена математическая модель управления процессом диалога в проблемно-ориентированной системе автоматизированного проектирования, основанная на использовании понятия конечного инициального автомата Мура. Формальные объекты из определения такого автомата интерпретированы на уровне отдельных программных компонент диалоговой системы, предлагается методика ее реализации.
