Праволинейный язык порождается некоторой праволинейной грамматикой в нормальной форме без эпсилон-правил, если
Любая неукорачивающая грамматика связана с некоторой контекстной грамматикой понятием
Контекстно-свободный язык может порождаться некоторой грамматикой, если он
Чтобы быть порождаемым линейной грамматикой в нормальной форме линейный язык
Если слово принадлежит языку, задаваемому меткой некоторого успешного пути, то оно
Каждому символу можно поставить в соответствие
Постановка каждому символу в соответствие конечный язык
Если постовская система соответствия имеет хотя бы одно решение, то
К подклассу языков, для которых существует хотя бы одна однозначная грамматика, относят
Подкласс языков, для которых существует хотя бы одна однозначная грамматика, включает в себя