设计一个C语言算法，求出任一上下文无关文法 中所有导空符号，并输出

设计一个C语言算法来处理上下文无关文法（Context-Free Grammar，CFG）并找出其中的所有终结符（导空符号），通常涉及到遍历语法结构树。终结符是在句子中可以直接使用的符号，而非终结符则用于构建更复杂的表达式。这里是一个简单的示例，不过实际的算法会更为复杂，因为需要解析和存储整个文法规则。

首先，假设我们有一个数据结构`Grammar`，它包含非终结符、终结符集合和规则集。下面是一个简化的版本：

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>

typedef enum { TERMINAL, NONTERMINAL } SymbolType;

struct Terminal {
    char symbol;
};

struct NonTerminal {
    char symbol;
    struct GrammarRule* rule;
};

typedef struct GrammarRule {
    struct NonTerminal* lhs; // 左手边
    size_t arity;            // 规则的子项数
    struct Symbol** rhs;     // 右手边的符号数组
} GrammarRule;

// 添加终结符到终结符集合
void add_terminal(char terminal, Grammar* grammar) {
    struct Terminal* new_term = (struct Terminal*)malloc(sizeof(struct Terminal));
    new_term->symbol = terminal;
    grammar->terminals.push_back(new_term);
}

// 检查是否为终结符
bool is_terminal(const struct Symbol* sym, Grammar* grammar) {
    for (size_t i = 0; i < grammar->terminals.size(); ++i) {
        if (sym == grammar->terminals[i]) return true;
    }
    return false;
}

// 示例函数，简化版的递归算法，仅用于演示
void find_terminals(GrammarRule* rule, Grammar* grammar) {
    if (rule->arity > 0 && !is_terminal(rule->rhs[0], grammar)) {
        for (size_t i = 0; i < rule->arity; ++i) {
            find_terminals(rule->rhs[i], grammar);
        }
    } else {
        printf("Found terminal: %c\n", rule->lhs->symbol);
    }
}

int main() {
    Grammar* grammar = ... // 初始化你的文法结构
    // 假设我们有规则如 S -> a | bS | c
    // 执行以下操作：
    GrammarRule rules[] = { ... };
    for (size_t i = 0; i < sizeof(rules) / sizeof(rules[0]); ++i) {
        find_terminals(&rules[i], grammar);
    }

    return 0;
}

这个例子中的`find_terminals`函数通过递归遍历文法规则，如果遇到不是终结符的子项，则继续检查其右侧的每个符号。当找到终结符时，就打印出来。请注意，这只是一个非常基础的示例，实际的实现需要处理更复杂的文法结构和错误处理。