void construct_finite_automaton(char* grammar) { int i, j, k, len; int num_states = 1; int state_stack[MAX_STATES], top = 0; int symbol_stack[MAX_SYMBOLS], num_symbol_stack = 0; int current_state, next_state; char symbol; // 初始化状态转移表 memset(transition_table, -1, sizeof(transition_table)); // 初始化终态和字符集 num_final_states = 0; num_symbols = 0; // 开始构造有穷自动机 len = strlen(grammar); for(i = 0; i < len; i++) { if(grammar[i] == '-') { // 左右两边分别为状态和符号 current_state = state_stack[top-1]; symbol = grammar[i+1]; next_state = num_states++; // 添加符号到字符集 add_symbol(symbol); // 添加转移 transition_table[current_state][symbol] = next_state; // 压入状态栈和符号栈 state_stack[top++] = next_state; symbol_stack[num_symbol_stack++] = symbol; } else if(grammar[i] == '|') { // 左边为状态，右边为符号 current_state = state_stack[top-1]; symbol = symbol_stack[num_symbol_stack-1]; next_state = num_states++; // 添加转移 transition_table[current_state][symbol] = next_state; // 压入状态栈 state_stack[top-1] = next_state; } else if(grammar[i] == '>') { // 左边为状态，右边为终态 current_state = state_stack[top-1]; add_final_state(current_state); } else if(grammar[i] == ' ') { // 空格表示一个新的产生式 top = 1; num_symbol_stack = 0; state_stack[0] = 0; } } // 最后一个状态是终态 add_final_state(num_states-1); // 打印状态转移表 print_transition_table(num_states); }

这段代码定义了一个名为`construct_finite_automaton`的函数，该函数的作用是根据一个给定的文法构造一个有限状态自动机。函数的参数`grammar`是一个字符串，表示要构造的文法。函数中使用了多个变量和数组来存储状态转移表、状态栈、符号栈等信息。具体实现过程如下：

1. 首先定义多个变量和数组，包括状态数量、状态栈、符号栈、当前状态、下一个状态、当前符号等。

2. 使用`memset`函数对状态转移表进行初始化，将其所有元素的值都设置为-1。这里使用-1表示没有对应的转移。

3. 初始化终态和字符集的数量。

4. 遍历文法字符串中的每个字符，根据不同的字符执行不同的操作，包括：

- 如果当前字符是`-`，说明左边是一个状态，右边是一个符号。根据状态栈的顶部状态和当前符号，创建一个新的状态，将其添加到状态栈中，并将当前符号添加到符号栈中。然后在状态转移表中添加一条从当前状态到新状态的转移。

- 如果当前字符是`|`，说明左边是一个状态，右边是一个符号。根据状态栈的顶部状态和符号栈的顶部符号，创建一个新的状态，并在状态转移表中添加一条从当前状态到新状态的转移。然后将状态栈的顶部状态更新为新状态。

- 如果当前字符是`>`，说明左边是一个状态，右边是一个终态。将该状态添加到终态数组中。

- 如果当前字符是空格，表示一个新的产生式。将状态栈的大小设置为1，表示回到起始状态；将符号栈的大小设置为0，表示清空符号栈。

5. 最后，将最后一个状态添加到终态数组中，并打印状态转移表。

需要注意的是，该函数没有对输入的文法进行任何检查，如果输入的文法不符合要求，可能会导致函数出现错误。因此，在使用该函数之前，应该确保输入的文法是合法的。