ASSISTANT
C语言实现SLR(1)文法分析程序如下：
```c
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <string.h>
#define MAX_STACK_SIZE 100
#define MAX_INPUT_LENGTH 100
typedef struct {
char state;
char symbol;
char action;
int value;
} TableEntry;
typedef struct {
char symbol;
int goto_state;
} GotoEntry;
TableEntry parsing_table[][7] = {
// State 0
{
{'0', 'a', 's', 2},
{'0', 'b', 's', 3},
{'0', 'S', ' ', 1}
},
// State 1
{
{'1', ' ', 'a', 4},
{'1', ' ', 'b', 5},
{'1', ' ', '$', 'a'}
},
// State 2
{
{'2', 'a', 's', 2},
{'2', 'b', 's', 3},
{'2', 'S', ' ', 6},
{'2', 'A', ' ', 8},
{'2', 'B', ' ', 9}
},
// State 3
{
{'3', 'a', 'r', 2},
{'3', 'b', 'r', 2},
{'3', 'A', 's', 7},
{'3', 'B', 's', 10}
},
// State 4
{
{'4', 'a', 'r', 4},
{'4', 'b', 'r', 4},
{'4', 'S', 'r', 4},
{'4', 'A', ' ', 11},
{'4', 'B', ' ', 9}
},
// State 5
{
{'5', 'a', 'r', 5},
{'5', 'b', 'r', 5},
{'5', 'S', 'r', 5},
{'5', 'A', ' ', 8},
{'5', 'B', ' ', 12}
},
// State 6
{
{'6', 'a', 's', 2},
{'6', 'b', 's', 3},
{'6', 'A', ' ', 13},
{'6', 'B', ' ', 9}
},
// State 7
{
{'7', 'a', 'r', 1},
{'7', 'A', 's', 7}
},
// State 8
{
{'8', 'b', 's', 5},
{'8', 'B', ' ', 14}
},
// State 9
{
{'9', 'a', 'r', 3},
{'9', 'b', 'r', 3},
{'9', 'A', 's', 7},
{'9', 'B', 's', 10}
},
// State 10
{
{'10', 'a', 'r', 6},
{'10', 'b', 'r', 6},
{'10', 'A', 's', 7}
},
// State 11
{
{'11', 'b', 'r', 4},
{'11', 'B', ' ', 15}
},
// State 12
{
{'12', 'a', 'r', 5},
{'12', 'B', ' ', 16}
},
// State 13
{
{'13', 'b', 's', 5},
{'13', 'B', ' ', 17}
},
// State 14
{
{'14', 'a', 'r', 3},
{'14', 'b', 'r', 3},
{'14', 'B', 's', 6}
},
// State 15
{
{'15', 'a', 'r', 4},
{'15', 'b', 'r', 4},
{'15', 'B', 's', 6}
},
// State 16
{
{'16', 'a', 'r', 5},
{'16', 'b', 'r', 5},
{'16', 'B', 's', 6}
},
// State 17
{
{'17', 'a', 'r', 3},
{'17', 'b', 'r', 3},
{'17', 'B', 's', 6}
}
};
GotoEntry goto_table[][2] = {
{1, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{6, 8},
{0, 0},
{0, 9},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0},
{0, 0}
};
char stack[MAX_STACK_SIZE];
char input[MAX_INPUT_LENGTH];
int stack_top;
void push(char ch) {
stack[++stack_top] = ch;
}
char pop() {
return stack[stack_top--];
}
bool reduce() {
char symbol;
int i, j, state, value;
for (i = stack_top; i >= 0 ; i--) {
symbol = stack[i];
for (j = 0; j < sizeof(parsing_table[state]) / sizeof(TableEntry); j++) {
if (symbol == parsing_table[state][j].symbol) {
value = parsing_table[state][j].value;
break;
}
}
if (j != sizeof(parsing_table[state]) / sizeof(TableEntry)) {
for (j = 0; j < value; j++) {
pop();
}
symbol = stack[stack_top];
state = goto_table[symbol - 'S'][0];
push(parsing_table[state][0].symbol);
return true;
}
}
return false;
}
bool parse() {
char ch;
int i, state;
stack_top = -1;
push('0');
printf("Enter input string: ");
gets(input);
printf("Stack\t\tInput\t\tAction\n");
for (i = 0; i < strlen(input); i++) {
state = stack[stack_top] - '0';
ch = input[i];
while (parsing_table[state][0].symbol != ch && parsing_table[state][0].action != 's') {
if (!reduce()) {
return false;
}
state = stack[stack_top] - '0';
}
printf("%s\t\t%s\t\tShift %c%d\n", stack, &input[i], ch, parsing_table[state][0].value);
push(ch);
push(parsing_table[state][0].action);
push(parsing_table[state][0].value);
state = stack[stack_top] - '0';
if (parsing_table[state][0].action == 'a') {
printf("%s\t\t%s\t\tAccept\n", stack, &input[i + 1]);
return true;
}
}
return false;
}
int main() {
if (parse()) {
printf("Input string is valid.\n");
} else {
printf("Input string is invalid.\n");
}
return 0;
}
```
可以通过给程序输入符合以下SLR(1)文法的例子进行测试：
文法：
1. S -> BA
2. A -> aB
3. A -> ε
4. B -> b
例1：输入"ab"，输出"Input string is valid."
例2：输入"abb"，输出"Input string is valid."
例3：输入"b"，输出"Input string is invalid."