Нормальная форма графовых грамматик

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