// CYKDetectingDlg.cpp : implementation file
//

#include "stdafx.h"
#include "CYKDetecting.h"
#include "CYKDetectingDlg.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()

/////////////////////////////////////////////////////////////////////////////
// CCYKDetectingDlg dialog

CCYKDetectingDlg::CCYKDetectingDlg(CWnd* pParent /*=NULL*/)
	: CDialog(CCYKDetectingDlg::IDD, pParent)
{
	//{{AFX_DATA_INIT(CCYKDetectingDlg)
	m_sVn = _T("");
	m_sResult = _T("");
	m_sRuleDisplay = _T("");
	m_sSingleRule = _T("");
	m_sStringForDetecting = _T("");
	m_sVt = _T("");
	//}}AFX_DATA_INIT
	// Note that LoadIcon does not require a subsequent DestroyIcon in Win32
	m_hIcon = AfxGetApp()->LoadIcon(IDR_MAINFRAME);
}

void CCYKDetectingDlg::DoDataExchange(CDataExchange* pDX)
{
	CDialog::DoDataExchange(pDX);
	//{{AFX_DATA_MAP(CCYKDetectingDlg)
	DDX_Text(pDX, IDC_NOTTERMINATE, m_sVn);
	DDX_Text(pDX, IDC_RESULT, m_sResult);
	DDX_Text(pDX, IDC_RULEDISPLAY, m_sRuleDisplay);
	DDX_Text(pDX, IDC_SINGLERULE, m_sSingleRule);
	DDX_Text(pDX, IDC_STRINGFORDETECTING, m_sStringForDetecting);
	DDX_Text(pDX, IDC_TERMINATE, m_sVt);
	//}}AFX_DATA_MAP
}

BEGIN_MESSAGE_MAP(CCYKDetectingDlg, CDialog)
	//{{AFX_MSG_MAP(CCYKDetectingDlg)
	ON_WM_SYSCOMMAND()
	ON_WM_PAINT()
	ON_WM_QUERYDRAGICON()
	ON_BN_CLICKED(IDC_ADD, OnAdd)
	ON_BN_CLICKED(IDC_DELETERULE, OnDeleterule)
	ON_BN_CLICKED(IDC_IDENTIFY, OnIdentify)
	//}}AFX_MSG_MAP
END_MESSAGE_MAP()

/////////////////////////////////////////////////////////////////////////////
// CCYKDetectingDlg message handlers

BOOL CCYKDetectingDlg::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
	m_nStringNum=0;
	m_sRuleList.RemoveAll();
	m_sRule1.RemoveAll();
	m_sRule2.RemoveAll();
	m_sDetectingMatrix.RemoveAll();
	return TRUE;  // return TRUE  unless you set the focus to a control
}

void CCYKDetectingDlg::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 CCYKDetectingDlg::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 CCYKDetectingDlg::OnQueryDragIcon()
{
	return (HCURSOR) m_hIcon;
}

void CCYKDetectingDlg::OnAdd() 
{
	// TODO: Add your control notification handler code here
	UpdateData(TRUE);
	if(!m_sSingleRule.IsEmpty())
	{
		m_sRuleList.AddTail(m_sSingleRule);
		//加入此文法規則，每個規則之間用空格隔開顯示
        m_sRuleDisplay=m_sRuleDisplay+m_sSingleRule+" ";
		m_sSingleRule="";
		UpdateData(FALSE);
	}
}

void CCYKDetectingDlg::OnDeleterule() 
{
	// TODO: Add your control notification handler code here
	UpdateData(TRUE);
	if(!m_sRuleDisplay.IsEmpty())
	{
		CString s=m_sRuleList.RemoveTail();
		//刪除最近加入的一個文法規則以及空格
        m_sRuleDisplay=m_sRuleDisplay.Left(m_sRuleDisplay.GetLength()-s.GetLength()-1);
		UpdateData(FALSE);
	}
}

void CCYKDetectingDlg::OnIdentify() 
{
	// TODO: Add your control notification handler code here
	UpdateData(TRUE);
	if (m_sVn.IsEmpty())
	{
		AfxMessageBox("非終止符集不能為空！",MB_OK);
		return;
	}
	if (m_sVt.IsEmpty())
	{
		AfxMessageBox("終止符集不能為空！",MB_OK);
		return;
	}
	if (m_sStringForDetecting.IsEmpty())
	{
		AfxMessageBox("待檢測字符串不能為空！",MB_OK);
		return;
	}
	int i,j,d,e,f,p,q,r,s,t,m=0,n=0;
	//對文法規則進行分類
	POSITION pos=m_sRuleList.GetHeadPosition();
	while (pos!=NULL)
	{
		CString ss=m_sRuleList.GetNext(pos);
		if(ss.GetLength()==3)
		{
			//m_sRule1為第一類A->BC,長度3
			m_sRule1.Add(ss);
			m++;
		}
		else
		{
			//m_sRule2為第二類A->a,長度2
			m_sRule2.Add(ss);
			n++;
		}
	}
	m_nStringNum=m_sStringForDetecting.GetLength();//待檢測字符串長度
	//構造識別矩陣
	m_sDetectingMatrix.SetSize((m_nStringNum+1)*(m_nStringNum+1));
	m_sDetectingMatrix[0]="0";
	for(i=0;i<m_nStringNum+1;i++)
		for(j=0;j<i;j++)
			m_sDetectingMatrix[i*(m_nStringNum+1)+j]="0";
	for(i=0;i<m_nStringNum+1;i++)
		m_sDetectingMatrix[i*(m_nStringNum+1)+i]=m_sStringForDetecting.Mid(i-1,1);
    for(i=0;i<m_nStringNum+1;i++)
		for(j=i+1;j<m_nStringNum+1;j++)
			m_sDetectingMatrix[i*(m_nStringNum+1)+j]=NULL;
	for(i=1;i<m_nStringNum+1;i++)
		for(j=0;j<n;j++)
			if(m_sRule2[j].GetAt(1)==m_sDetectingMatrix[i*(m_nStringNum+1)+i])
				m_sDetectingMatrix[(i-1)*(m_nStringNum+1)+i]+=m_sRule2[j].GetAt(0);
	for(d=2;d<m_nStringNum+1;d++)
		for(e=d;e<m_nStringNum+1;e++)
		{
			i=e-d;
			j=e;
			for(f=i+1;f<j;f++)
				if(p=m_sDetectingMatrix[i*(m_nStringNum+1)+f].GetLength())
					for(r=0;r<p;r++)
						for(s=0;s<m;s++)
							if(m_sRule1[s].GetAt(1)==m_sDetectingMatrix[i*(m_nStringNum+1)+f].GetAt(r))
								if(q=m_sDetectingMatrix[f*(m_nStringNum+1)+j].GetLength())
									for(t=0;t<q;t++)
										if(m_sRule1[s].GetAt(2)==m_sDetectingMatrix[f*(m_nStringNum+1)+j].GetAt(t))
											m_sDetectingMatrix[i*(m_nStringNum+1)+j]+=m_sRule1[s].GetAt(0);
		}
	if(m_sDetectingMatrix[m_nStringNum].Find('S')==-1)
		m_sResult="The string can't be recognized!";
	else
        m_sResult="The string can be recognized!";
	UpdateData(FALSE);
}