О доминационной неоднозначности КС-языков

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