lambda产生式是否违反了Type-1 Type-2和Type-3语法？

Question

lambda生产规则（例如A->Λ）是否违反了乔姆斯基层次结构中的Type-1 Type-2和Type-3层次结构？

例如，考虑以下语法：

X -> Y1Z  

Y -> 0Y | Λ  

Z -> 0Z | 1Z | Λ

如果我们忽略lambda过渡，这似乎是Type-2语法。

我也感到困惑，因为lambda字符串的长度为0，这已经违反了Type-1要求（lhs> rhs），因此可以是Type-0。

如果能帮助我，我将不胜感激。