Разделенные грамматики, очевидно, являются LL(1)-грамматиками Связанные определения/теоремы/следствия/утверждения: Порождающая грамматика SELECT
