$(m,n)$-жесткие категориальные грамматики

В статье определяются $(m,n)$-жесткие категориальные грамматики. Построен алгоритм, который по грамматике $G$ и числам $m$, $n$ определяет, является ли $G$ $(m,n)$-жесткой. Доказано, что в классе $(m,n)$-жестких языков существует бесконечная иерархия, а также что класс $(m,n)$-жестких языков не сравним с классом регулярных языков. Исследуется сложность проблемы принадлежности для $(m,n)$-жестких грамматик.