如果语法g是左右的，为什么$ || l（g）||\ leq || p || $？

Question

我正在学习自动发展理论和正式语言，遇到这个问题：

如果语法 $ g $ 左右常规，为什么 $ || l（g）|| \ LEQ || P || $ ？

我搜索了这个理论，但我错过了一些东西。我无法找到答案在任何地方，所以我在这里问。

定义：

$ p $ =一组规则

右常规规则：语法 $ g=（n，t，p，s）$ ，规则在 $ p $ 如果规则是表单： $ a \ lightarrow ba $ $（a， b \在n）\ wedge（a \ in t）$

左常规规则：语法 $ g=（n，t，p，s）$ ，规则在 $ p $ 如果规则是表单： $ a \ lightarrow ab $ $（a， b \在n）\ wedge（a \ in t）$ 。

左常规语法：一个语法，所有规则都是左常规规则。

右常规语法：语法，所有规则是正确的规则。

规则集 $ p $ 与左常规和右常规规则： $ p={a \ lightarrow a，b \ lightarrow b \} $

并且左侧常规和右常规使语法常规和类型3

Answer 1

语法只包含 $ a \ to $ 的规则，对于 $ a \ in n $ 和 $ a \ in t $ 。因此，<跨越类=“math-container”> $ l（g）={\ sigma \ In t：s \ to \ sigma \以p \} $ 。你从这里拿走它。