【编译原理】LL1文法语法分析器

上篇文章 【编译原理】语法分析——自上向下分析 分析了LL1语法,文章最后说给出栗子,现在补上去。

说明:

  • 这个语法分析器是利用LL1分析方法实现的。
  • 预测分析表和终结符以及非终结符都是针对一个特定文法定义好的。
  • 输入的分析串必须以 # 开头和结尾。

原始文法:

E -> E + T | T
T -> T * T | F
F -> (E) | i
  • 1
  • 2
  • 3
  • 1
  • 2
  • 3

消除左递归之后

E -> TE'
E' -> +TE' | e
T -> FT'
T' -> *FT' | e
F -> (E) | i

//备注 
e 表示 一步赛楞
E' 在实际程序中用Z代替
T' 在实际程序中用Y代替
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10

程序如下:

#include<iostream>
#include<vector>
#include<string>
#include<stack>

#define BEGIN_SYB 'E'

class Tab {                   //预测分析表中单个产生式
public:
    Tab(char n,char e,std::string p):noend(n),end(e),prod(p) {};

    char noend;
    char end;
    std::string prod;
};

std::vector<Tab>  pTab;       //预测分析表
std::stack<char>  pStack;     //栈
std::string       pStr;       //输入串
int               index = 0;  //输入串的下标
int               num = 0;    //下标
char              X;          //从栈顶取出的符号
char              a;          //字符串目前分析到的位置
std::vector<char> VT{'i','+','*','(',')','#'};    //终结符号集合
std::vector<char> VN{'E','Z','T','Y','F'};    //非终结符号集合

int
isPartVT(char ch)
{
    for(auto u:VT) {
        if(u == ch) {
            return 1;
        }
    }
    return 0;
}

int
isPartVN(char ch)
{
    for(auto u:VN) {
        if(u == ch) {
            return 1;
        }
    }
    return 0;
}

void
initpTab()
{
    pTab.push_back(Tab('E','i',"TZ"));       //Z表示E'
    pTab.push_back(Tab('E','(',"TZ"));
    pTab.push_back(Tab('Z','+',"+TZ"));
    pTab.push_back(Tab('Z',')',"$"));
    pTab.push_back(Tab('Z','#',"$"));
    pTab.push_back(Tab('T','i',"FY"));
    pTab.push_back(Tab('T','(',"FY"));       //Y表示T'
    pTab.push_back(Tab('Y','+',"$"));
    pTab.push_back(Tab('Y','*',"*FY"));
    pTab.push_back(Tab('Y',')',"$"));
    pTab.push_back(Tab('Y','#',"$"));
    pTab.push_back(Tab('F','i',"i"));
    pTab.push_back(Tab('F','(',"(E)"));
}

void 
printStack()
{
    std::stack<char> pTemp(pStack);
    while(pTemp.size() != 0) {
        std::cout << pTemp.top() << " ";
        pTemp.pop();
    }
    std::cout << "         ";
}

int
synaly()
{
    pStack.push(pStr[index++]);
    pStack.push(BEGIN_SYB);
    a = pStr[index++];
    bool flag = true;
    while(flag) {
        std::cout << num++ << "        ";  //输出行号
        printStack();
        if(pStack.size() != 0) {
            X = pStack.top();              //将符号栈顶给X
            pStack.pop();
        }

        if(isPartVT(X)) {                  //如果是终结符
            if(X == '#' && a == '#') {
                flag = false;
            }else if(X == a){
                std::cout << std::endl;
                a = pStr[index++];
            }else {
                std::cout << "EROOR!" << std::endl;
                return 0;
            }

        }else if (X == '#') {
            if(X == a) {
                flag = false;
            }else {
                std::cout << "EROOR!" << std::endl;
                return 0;
            }

        }else if (isPartVN(X) && isPartVT(a)) {  //如果非终结符
            int type = 0;
            for(auto u:pTab) {
                if(u.noend == X && u.end == a) {
                    std::string tempProd = u.prod;
                    std::cout << X << "->" << tempProd << std::endl; 
                    if(tempProd == "$") {
                        type = 1;
                        break;
                    }else {
                        for(int i = tempProd.size()-1;i >= 0;--i) {
                            pStack.push(tempProd[i]);
                        }
                        type = 1;
                        break;
                    }
                }
            }
            if(type != 1) {
                std::cout << "EROOR!" << std::endl;
                return 0;

            }

        }else {
            std::cout << "EROOR!" << std::endl;
            return 0;
        }

    }
    return 1;
}

int main(int argc,char *argv[])
{
    initpTab();
    std::cout << "请输入语法串:";
    std::cin >> pStr;
    std::cout << "步骤" << "     " << "符号栈" << "      " << "所用产生式" << std::endl;
    int flag = synaly();
    std::cout << std::endl;
    if(flag == 1) {
        std::cout << "分析成功~~" << std::endl;
    }else {
        std::cout << "分析失败~~" << std::endl;
    }

    return 0;
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81
  • 82
  • 83
  • 84
  • 85
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • 92
  • 93
  • 94
  • 95
  • 96
  • 97
  • 98
  • 99
  • 100
  • 101
  • 102
  • 103
  • 104
  • 105
  • 106
  • 107
  • 108
  • 109
  • 110
  • 111
  • 112
  • 113
  • 114
  • 115
  • 116
  • 117
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • 127
  • 128
  • 129
  • 130
  • 131
  • 132
  • 133
  • 134
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • 150
  • 151
  • 152
  • 153
  • 154
  • 155
  • 156
  • 157
  • 158
  • 159
  • 160
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81
  • 82
  • 83
  • 84
  • 85
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • 92
  • 93
  • 94
  • 95
  • 96
  • 97
  • 98
  • 99
  • 100
  • 101
  • 102
  • 103
  • 104
  • 105
  • 106
  • 107
  • 108
  • 109
  • 110
  • 111
  • 112
  • 113
  • 114
  • 115
  • 116
  • 117
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • 127
  • 128
  • 129
  • 130
  • 131
  • 132
  • 133
  • 134
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • 150
  • 151
  • 152
  • 153
  • 154
  • 155
  • 156
  • 157
  • 158
  • 159
  • 160

这里写图片描述

posted @ 2017-05-29 17:28  天涯海角路  阅读(3924)  评论(0)    收藏  举报