Σ*是一个无上下文语法吗?因为我想知道我是否可以用它来证明如果“对于每种语言A,如果A不是无上下文的话,则A不是无上下文的 . ”