四元转换器dlg.cpp

四元式分析器。供初学者借鉴和使用。只要使用算符优先算法。

// 四元转换器Dlg.cpp : implementation file
//
/********************************************************************
 *				作者：巫丙亮										*
 *				华东交通大学信息工程学院02级						*
 *				快毕业。。。。。就要被卖了。。。。。				*
 ********************************************************************/
#include "stdafx.h"
#include "四元转换器.h"
#include "四元转换器Dlg.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()

/////////////////////////////////////////////////////////////////////////////
// CMyDlg dialog

CMyDlg::CMyDlg(CWnd* pParent /*=NULL*/)
	: CDialog(CMyDlg::IDD, pParent)
{
	//{{AFX_DATA_INIT(CMyDlg)
	m_out = _T("");
	m_in = _T("");
	m_Sys = _T("");
	//}}AFX_DATA_INIT
	// Note that LoadIcon does not require a subsequent DestroyIcon in Win32
	m_hIcon = AfxGetApp()->LoadIcon(IDR_MAINFRAME);
}

void CMyDlg::DoDataExchange(CDataExchange* pDX)
{
	CDialog::DoDataExchange(pDX);
	//{{AFX_DATA_MAP(CMyDlg)
	DDX_Text(pDX, IDC_EDIT9, m_out);
	DDX_Text(pDX, IDC_EDIT_in, m_in);
	DDX_Text(pDX, IDC_EDIT10, m_Sys);
	//}}AFX_DATA_MAP
}

BEGIN_MESSAGE_MAP(CMyDlg, CDialog)
	//{{AFX_MSG_MAP(CMyDlg)
	ON_WM_SYSCOMMAND()
	ON_WM_PAINT()
	ON_WM_QUERYDRAGICON()
	ON_EN_CHANGE(IDC_EDIT_in, OnChangeEDITin)
	ON_BN_CLICKED(IDC_BUTTON1, OnButton1)
	//}}AFX_MSG_MAP
END_MESSAGE_MAP()

/////////////////////////////////////////////////////////////////////////////
// CMyDlg message handlers

BOOL CMyDlg::OnInitDialog()
{
	CDialog::OnInitDialog();

	// Add "About..." menu item to system menu.

	// IDM_ABOUTBOX must be in the system command range.
	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);
		}
	}

	// Set the icon for this dialog.  The framework does this automatically
	//  when the application's main window is not a dialog
	SetIcon(m_hIcon, TRUE);			// Set big icon
	SetIcon(m_hIcon, FALSE);		// Set small icon
	
	// TODO: Add extra initialization here
	
	return TRUE;  // return TRUE  unless you set the focus to a control
}

void CMyDlg::OnSysCommand(UINT nID, LPARAM lParam)
{
	if ((nID & 0xFFF0) == IDM_ABOUTBOX)
	{
		CAboutDlg dlgAbout;
		dlgAbout.DoModal();
	}
	else
	{
		CDialog::OnSysCommand(nID, lParam);
	}
}

// If you add a minimize button to your dialog, you will need the code below
//  to draw the icon.  For MFC applications using the document/view model,
//  this is automatically done for you by the framework.

void CMyDlg::OnPaint() 
{
	if (IsIconic())
	{
		CPaintDC dc(this); // device context for painting

		SendMessage(WM_ICONERASEBKGND, (WPARAM) dc.GetSafeHdc(), 0);

		// Center icon in client rectangle
		int cxIcon = GetSystemMetrics(SM_CXICON);
		int cyIcon = GetSystemMetrics(SM_CYICON);
		CRect rect;
		GetClientRect(&rect);
		int x = (rect.Width() - cxIcon + 1) / 2;
		int y = (rect.Height() - cyIcon + 1) / 2;

		// Draw the icon
		dc.DrawIcon(x, y, m_hIcon);
	}
	else
	{
		CDialog::OnPaint();
	}
}

// The system calls this to obtain the cursor to display while the user drags
//  the minimized window.
HCURSOR CMyDlg::OnQueryDragIcon()
{
	return (HCURSOR) m_hIcon;
}
char in1,in2,mark;
CString zhan,dzhan,m;
//文法
char Wfa(CString l)
{
	if(l==")A(")	  return 'S';
	else if(l=='B')	  return 'A';
    else if(l=='C')   return 'B';
	else if(l=="A/S") return 'B';
	else if(l=="A/A") return 'B';
	else if(l=="A/B") return 'B';
	else if(l=="A/C") return 'B';
	else if(l=="A*S") return 'A';
	else if(l=="A*A") return 'A';
	else if(l=="A*B") return 'A';
	else if(l=="A*C") return 'A';
	else if(l=='i')   return 'C';
	else if(l=='j')   return 'C';
	else if(l=="A+S") return 'A';
	else if(l=="A+A") return 'A';
	else if(l=="A+B") return 'A';
	else if(l=="A+C") return 'A';
	else if(l=='S')   return 'A';
	else return '0';
}
//字母数字转换函数
int Cw(char a)
{
	switch(a)
	{
	case '+':return 0;break; 
	case '*':return 1;break;
	case '/':return 2;break;
	case 'i':return 3;break;
	case 'j':return 4;break;
	case '(':return 5;break;
	case ')':return 6;break;
	case '#':return 7;break;
	default: return 9;break;
	}
}
//分析表
CString Fxb(char x,char y)
{
				         //  +   *   /   i   j   (   )   #   	
	CString k[8][8]=/* + */{'>','<','<','<','<','<','>','>',
				    /* * */ '>','>','<','<','<','<','>','>',
				    /* | */ '>','>','<','<','<','<','>','>',
				    /* i */ '>','>','>','0','0','0','>','>',
				    /* j */ '>','>','>','0','0','0','>','>',
				    /* ( */ '<','<','<','<','<','<','=','0',
				    /* ) */ '>','>','>','0','0','0','>','>',
				    /* # */ '<','<','<','<','<','<','0','='};	
    int i,j;
	i=Cw(x);
	j=Cw(y);
	if(i<8&&j<8) 
	return k[i][j];
	else return '0';
}
//弹栈
void CMyDlg::Pop(CString &s)
{
	s=s.Left(s.GetLength()-1);
}
//压栈
void CMyDlg::Push(CString &t)
{
	t+=in2;
}
//归约过程
void CMyDlg::Gyue()
{	
	//初始化	
	CString dzhanx,dzhany;
	dzhan=m_in;
	m_in+='#';
	m_Sys="";
	int i=-1;
	char k='0';
	zhan='#';
	do
	//for(i=0;i<2;i++)
	{
		in1=zhan.GetAt(zhan.GetLength()-1);
		//显示栈
		in2=m_in.GetAt(++i);
		//当最后一字符为非终结符时，比较它前一个字符直到为终结符
		if(in1=='S'||in1=='A'||in1=='B'||in1=='C')
		{
			int j=1;
			j++;
			in1=zhan.GetAt(zhan.GetLength()-j);
		}
		//优先关系为小于时，压栈。
		if(Fxb(in1,in2)=='<')
		{
			//显示优先关系和移进
			CMyDlg::Push(zhan);
		}
		//优先关系为等于时，压栈
		if(Fxb(in1,in2)=='=')
		{
			//显示优先关系和移进
			if(in1=='#'&&in2=='#') 
			{
				m_out="符合文法";
				break;
			}
			CMyDlg::Push(zhan);
			
		}
		//优先关系为大于时，归约后压栈。
		if(Fxb(in1,in2)=='>')
		{
			//显示优先关系和归约
			//栈操作
			m="";
			do
			{
				m+=zhan.GetAt(zhan.GetLength()-1);
				CMyDlg::Pop(zhan);
				in2=Wfa(m);	
				if(Wfa(m)=='S'||Wfa(m)=='A'||Wfa(m)=='B'
					||Wfa(m)=='C') break;					
			}			
			while(zhan.GetLength()!=1);			
			if(Wfa(m)=='0') {in1='#';in2='#';m_out="不符合文法";}
			else {};
			//显示四元式
			if(m.GetLength()==3)
			if(m.GetAt(1)=='+'||m.GetAt(1)=='*'||m.GetAt(1)=='/')
			{	
				mark=m.GetAt(1);
			for(int p=0;p<dzhan.GetLength();p++)
			{
				CString u,v;
				if(dzhan.GetAt(p)==mark&&(dzhan.GetAt(p+1)!='('||dzhan.GetAt(p+3)!=')'))
				{
					dzhanx=dzhan;
					u=dzhan.GetAt(p-1);v=dzhan.GetAt(p+1);
					if(u>='0'&&u<='9') u='T'+u;
					if(v>='0'&&v<='9') v='T'+v;
					m_Sys=m_Sys+'('+mark+','+u+','+v+','+'T'+k+')';
					k++;
					//归约后的输入串
					dzhan=dzhanx.Left(p-1);
					dzhan+=(k-1);
					dzhan+=dzhanx.Right(dzhanx.GetLength()-p-2);
					if(p>1)
					{
						CString h=dzhanx.Left(p-1);
					if(dzhanx.Left(p-1).GetAt(dzhanx.Left(p-1).GetLength()-1)=='(')
					{
						if(dzhanx.GetAt(dzhanx.GetLength()-1)==')'&&dzhanx.GetLength()<=5)
						{
							dzhan=dzhanx.Left(p-2);
							dzhan+=k-1;
							m_Sys+=dzhan;
						}
						else
						{
							dzhan=dzhanx.Left(p-2);				
							dzhan+=k-1;
							dzhan+=dzhanx.Right(dzhanx.GetLength()-p-3);
						}
					}}
					m_Sys+="\r\n";
					break;
				}
			}
			}
			//特殊情况
			CMyDlg::Push(zhan);
			i--;//归约后当前字符不变。
		}
	}
	while(in1!='#'||in2!='#');
	CMyDlg::Pop(m_in);
	if(m_Sys=="") m_out="不符合文法";
}	
void CMyDlg::OnOK() 
{
	// TODO: Add extra validation here
	CMyDlg::Gyue();
	UpdateData(false);
}

void CMyDlg::OnChangeEDITin() 
{
	// TODO: If this is a RICHEDIT control, the control will not
	// send this notification unless you override the CDialog::OnInitDialog()
	// function and call CRichEditCtrl().SetEventMask()
	// with the ENM_CHANGE flag ORed into the mask.
    UpdateData(true);
	// TODO: Add your control notification handler code here	
}
//刷新，重新开始
void CMyDlg::OnButton1() 
{
	// TODO: Add your control notification handler code here
	m_in="";
	m_out="";
	m_Sys="";
	dzhan="";
	UpdateData(false);
}