С.Ю. Соловьев

Эквивалентные преобразования контекстно-свободных грамматик

В работе описывается и обосновывается эквивалентное преобразование контекстно-свободных грамматик, позволяющее удалять общие префиксы и суффиксы в терминальных реализациях нетерминальных символов. Кроме того, в работе предлагается универсальный метод совместного применения нескольких эквивалентных преобразований грамматик.