context-sensitive-grammar - 为长度是 2 ( 2^i) 形式的 a 的字符串设计一个上下文相关的语法？我>=1

Question

请解释如何设计上述语言的上下文相关语法。我是上下文敏感语法的新手。

Answer 1

这可以是一个解决方案吗？

 A -> aa 
 AA -> AAAA
 AAAA -> AAAAAAAA

and  so on
We get

A^i -> A^i.A^i , i>=1
and
A -> aa

Answer 2

这个想法是有一个符号可以“跟踪”整个感觉形式并使一切加倍

S -> ERAE
RA -> AAR
RE -> LE | F
AL -> LA
EL -> ER
AF -> Fa
EF -> ε

这只是我的想法，可能是错误的，但希望这个想法能够实现，您可以给出正确的答案。

我认为您给出的解决方案是错误的，因为它似乎提出了无限数量的规则 - 为什么不为每个可能的字符串设置一个规则？