如果语法g是左右的,为什么$ || l(g)||\ leq || p || $?
-
29-09-2020 - |
题
我正在学习自动发展理论和正式语言,遇到这个问题:
如果语法 $ 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
解决方案
语法只包含 $ a \ to $ 的规则,对于 $ a \ in n $ 和 $ a \ in t $ 。因此,<跨越类=“math-container”> $ l(g)={\ sigma \ In t:s \ to \ sigma \以p \} $ 。你从这里拿走它。
不隶属于 cs.stackexchange