Недостатки применения аппарата формальных грамматик

Модель формальных грамматик имеет два основных недостатка.
A) В естественном языке очень много понятий, следовательно, в грамматике будет очень много нетерминалов.
B) Доказано, что естественные языки относятся к классу 0 по Хомскому, следовательно, задача распознавания и генерации фраз естественного языка алгоритмически неразрешима.
Второе ограничение в принципе невозможно преодолеть.
Исследовательский опыт позволяет констатировать неэффективность применения формальных грамматик и связанных с ними моделей, таких как конечные и магазинные автоматы, ОПЗ, для анализа естественных языков.
Существует несколько приближенных моделей естественного языка, использующихся на практике. Например, модель непосредственных составляющих, модель синтаксического управления, модель глубинных или семантических падежей, модель расширенных сетей переходов. В последнее время все более широкое применение находит применение нейронных сетей.
Большая часть моделей основывается на принципах, установленных в семиотике – науке о знаковых системах, и прежде чем рассматривать конкретные модели, необходимо в общих чертах познакомиться с семиотикой.