上下文无关文法是什么，用代码实现

上下文无关文法是一种用于描述计算机语言结构的形式语言。它由四元组 (N, Σ, P, S) 组成，其中 N 是一个非终结符集合，Σ 是一个终结符集合，P 是一个产生式规则集合，S 是起始符号。产生式规则指定了一个非终结符可以被替换为一系列终结符和非终结符的序列。代码实现如下：

class Grammar:
    def __init__(self, nonterminals=[], terminals=[], rules={}, start_symbol=None):
        self.nonterminals = nonterminals
        self.terminals = terminals
        self.rules = rules
        self.start_symbol = start_symbol

    def add_rule(self, nonterminal, production):
        if nonterminal not in self.nonterminals:
            self.nonterminals.append(nonterminal)
        if isinstance(production, str):
            production = [production]
        if nonterminal not in self.rules:
            self.rules[nonterminal] = []
        self.rules[nonterminal].extend(production)

    def generate(self, symbol):
        if symbol in self.terminals:
            return [symbol]
        productions = []
        for rule in self.rules.get(symbol, []):
            production = []
            for s in rule.split():
                if s != '':
                    production.extend(self.generate(s))
            productions.append(production)
        return productions

其中，nonterminals 表示非终结符集合，terminals 表示终结符集合，rules 表示文法规则，start_symbol 表示起始符号。add_rule 方法用于添加文法规则，generate 方法用于生成符合文法规则的字符串序列。