理论计算机科学 - 上下文敏感语法？

Question

规则“Aa - ＆gt; aA”对上下文敏感怎么可能？根据定义，上下文敏感规则必须类似于以下形式：

αAβ → αγβ

其中

A ∈ N,  α,β ∈ (N∪Σ)*   and γ ∈ (N∪Σ)+

感谢。

Answer 1

这取决于你的意思。如果向下滚动Wikipedia entry，您可以正式see

cB→Bc

不符合该方案，但可以通过做适合它的4条规则进行模拟：

1. c B→W B
2. W B→W X
3. W X→B X
4. B X→B c

所以 Aa→aA 本身不是CSG规则，但它产生的语言是。或许无论是谁告诉你它，都是用它作为速记（你可以扩展CSG规则的定义，包括这些类型的东西，如＃34;宏＆＃34;）。