编译原理 语法分析实验二

华北水利水电学院编译原理实验报告

2010～2011学年第二学期xxxx 级计算机专业

班级：xxxxx 学号：xxxxx 姓名：xxx

一、实验目的

通过设计、编制、调试一个典型的语法分析程序，实现对词法分析程序所提供的单词序列进行语法检查和结构分析，进一步掌握常用的语法分析方法。

二、实验要求

⑴选择最有代表性的语法分析方法，如LL（1）分析法、算符优先法或LR分析法

⑵选择对各种常见程序语言都用的语法结构，如赋值语句（尤指表达式）作为分析对象，并且与所选语法分析方法要比较贴切。

⑶实习时间为6小时。

三、实验内容

选题1：使用预测分析法（LL（1）分析法）实现语法分析：

（1）根据给定文法，先求出first集合、follow集合和select集合，构造预测分析表（要求预测分析表输出到屏幕或者输出到文件）；

（2）根据算法和预测分析表分析给定表达式是否是该文法识别的正确的算术表达式（要求输出归约过程）

（3）给定表达式文法为：

G(E): S→TE

E→+TE | ε

T→FK

K→*FK |ε

F→(S)|i

(4)分析的句子为：

(i+i)*i和i+i)*i

四、程序源代码

#include "stdafx.h"

#include "SyntaxAnalysis.h"

#include "SyntaxAnalysisDlg.h" #ifdef _DEBUG

#define new DEBUG_NEW

#undef THIS_FILE static char THIS_FILE[] = __FILE__;

#endif

/////////////////////////////////////////// // CAboutDlg dialog used for App About

class CAboutDlg : public CDialog

{

public:

CAboutDlg();

// Dialog Data

//{{AFX_DATA(CAboutDlg)

enum { IDD = IDD_ABOUTBOX };

//}}AFX_DATA

// ClassWizard generated virtual function overrides

//{{AFX_VIRTUAL(CAboutDlg)

protected:

virtual void DoDataExchange(CDataExchange* pDX); // DDX/DDV support

//}}AFX_VIRTUAL

// Implementation

protected:

//{{AFX_MSG(CAboutDlg)

//}}AFX_MSG

DECLARE_MESSAGE_MAP()

};

CAboutDlg::CAboutDlg() : CDialog(CAboutDlg::IDD)

{

//{{AFX_DATA_INIT(CAboutDlg)

//}}AFX_DATA_INIT

}

void CAboutDlg::DoDataExchange(CDataExchange* pDX)

{

CDialog::DoDataExchange(pDX);

//{{AFX_DATA_MAP(CAboutDlg)

//}}AFX_DATA_MAP

}

BEGIN_MESSAGE_MAP(CAboutDlg, CDialog)

//{{AFX_MSG_MAP(CAboutDlg)

// No message handlers

//}}AFX_MSG_MAP

END_MESSAGE_MAP()

// CSyntaxAnalysisDlg dialog

CSyntaxAnalysisDlg::CSyntaxAnalysisDlg(CWnd * pParent /*=NULL*/)

: CDialog(CSyntaxAnalysisDlg::IDD, pParent)

{

//{{AFX_DATA_INIT(CSyntaxAnalysisDlg)

m_strCode = _T("");

m_strResult = _T("");

//}}AFX_DATA_INIT

// Note that LoadIcon does not require a subsequent DestroyIcon in Win32

m_hIcon = AfxGetApp()->LoadIcon(IDR_MAINFRAME);

}

void

CSyntaxAnalysisDlg::DoDataExchange(CDataExc hange* pDX)

{

CDialog::DoDataExchange(pDX);

//{{AFX_DATA_MAP(CSyntaxAnalysisDlg)

DDX_Control(pDX, IDC_LIST1, m_ListCtrl);

DDX_Text(pDX, IDC_EDIT_Code, m_strCode);

DDX_Text(pDX, IDC_EDIT_Result, m_strResult);

//}}AFX_DATA_MAP

}

BEGIN_MESSAGE_MAP(CSyntaxAnalysisDlg, CDialog)

//{{AFX_MSG_MAP(CSyntaxAnalysisDlg)

ON_WM_SYSCOMMAND()

ON_WM_PAINT()

ON_WM_QUERYDRAGICON()

ON_BN_CLICKED(IDC_BTN_Analysis, OnBTNAnalysis)

//}}AFX_MSG_MAP

END_MESSAGE_MAP()

// CSyntaxAnalysisDlg message handlers

BOOL CSyntaxAnalysisDlg::OnInitDialog()

{

CDialog::OnInitDialog();

ASSERT((IDM_ABOUTBOX & 0xFFF0) == IDM_ABOUTBOX);

ASSERT(IDM_ABOUTBOX < 0xF000);

CMenu* pSysMenu = GetSystemMenu(FALSE);

if (pSysMenu != NULL)

{

CString strAboutMenu;

strAboutMenu.LoadString(IDS_ABOUTBOX);

if (!strAboutMenu.IsEmpty())

{

pSysMenu->AppendMenu(MF_SEPARATOR);

pSysMenu->AppendMenu(MF_STRING,

IDM_ABOUTBOX, strAboutMenu);

}

}

SetIcon(m_hIcon, TRUE); // Set big icon

SetIcon(m_hIcon, FALSE); // Set small icon

// TODO: Add extra initialization here

//初始化给定文法

m_VN[0]="S";

m_VN[1]="E";

m_VN[2]="T";

m_VN[3]="K";

m_VN[4]="F";

m_VT[0]="i";

m_VT[1]="+";

m_VT[2]="*";

m_VT[3]="(";

m_VT[4]=")";

m_Gl[0]=0;m_Gr[0]="TE";

m_Gl[1]=1;m_Gr[1]="+TE";