Автоматический синтаксический анализ и грамматика унификации (учебное пособие)книга