В.А. Серебряков, С.Ю.Соловьев

Задача совместимости свойств формальных грамматик

Рассматривается формальная постановка задачи существования контекстно-свободных грамматик, обладающая заданными набором свойств. Сформулированы достаточные условия разрешимости задачи. Исследованы шесть классов и девять свойств, для которых установлена возможность их совмещения в одной грамматике.

КЛЮЧЕВЫЕ СЛОВА: формальный язык, грамматика, модель, функционал