нарушают ли правила производства лямбды (например, A-> Λ) иерархии Type-1 Type-2 и Type-3 в иерархии Хомского?
Например, рассмотрим следующую грамматику:
X -> Y1Z
Y -> 0Y | Λ
Z -> 0Z | 1Z | Λ
Если мы игнорируем лямбда-переходы, это, похоже, грамматика типа 2.
Меня также смущает, что, поскольку длина лямбда-строки равна 0, это уже нарушает требования Типа 1 (lhs> rhs), и, следовательно, это может быть Тип 0.
Буду признателен, если вы поможете мне с этим.