В книге предложен подход к проектированию программных систем, построены лингвистические модели диалога, дедуктивного синтеза программ, обработки изображений. Разработана технология построения лингвистического обеспечения, которая снимает психологический барьер у программистов, реализующих входные языки пакетов прикладных программ. Для поддержки предложенной технологии авторами создана система построения трансляторов, реализующая контекстно-свободные языки, обладающие достаточно высокой степенью непроцедурности. Детально описаны метаязыки этой системы и методика ее практического применения.
Тираж 800 экз.