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

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

作者:杨博东的博客 
原文:https://blog.csdn.net/yangbodong22011/article/details/53415401 

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

说明:

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

原始文法:

E -> E + T | T
T -> T * T | F
F -> (E) | i

消除左递归之后:

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

//备注 
e 表示 一步赛楞
E' 在实际程序中用Z代替
T' 在实际程序中用Y代替

程序如下:

// LL2.cpp: 定义控制台应用程序的入口点。
//

#include "stdafx.h"
#include<iostream>
#include<cstdlib>
#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;
	}
	system("pause");
	return 0;
}

 


 

这个里面的都是测试数据,总共得分5分。从控制台输入,不能从文件中读取。实现了基本功能,加分项目都没有去实现,没有函数数组这些的实现。这是用C++语言写的,新建parser类别要选C++,其他对于VS的配置和C语言一样。for语句用的是枚举所有情况,你可以自行修改。 对预备工作中自然语言描述的简化C编译器的语言特性的语法,设计上下文无关文法进行描述 借助Yacc工具实现语法分析器 考虑语法树的构造: 1.语法树数据结构的设计:节点类型的设定,不同类型节点应保存哪些信息,多叉树的实现方式 2.实现辅助函数,完成节点创建、树创建等功能 3.利用辅助函数,修改上下文无关文法,设计翻译模式 4.修改Yacc程序,实现能构造语法树的分析器 考虑符号表处理的扩充 1.完成语法分析后,符号表项应增加哪些标识符的属性,保存语法分析的结果 2.如何扩充符号表数据结构,Yacc程序如何与Lex程序交互,正确填写符号表项 以一个简单的C源程序验证你的语法分析器,可以文本方式输出语法树结构,以节点编号输出父子关系,来验证分析器的正确性,如下例: main() { int a, b; if (a == 0) a = b + 1; } 可能的输出为: 0 : Type Specifier, integer, Children: 1 : ID Declaration, symbol: a Children: 2 : ID Declaration, symbol: b Children: 3 : Var Declaration, Children: 0 1 2 4 : ID Declaration, symbol: a Children: 5 : Const Declaration, value:0, Children: 6 : Expr, op: ==, Children: 4 5 7 : ID Declaration, symbol: a Children: 8 : ID Declaration, symbol: b Children: 9 : Const Declaration, value:1, Children: 10: Expr, op: +, Children: 8 9 11: Expr, op: =, Children: 7 10 12: if statement, Children: 6 11 13: compound statement, Children: 3 12
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值