tonfadoc.h

正规(则)表达式转化为NFA

// TONFADoc.h : interface of the CTONFADoc class
//
/////////////////////////////////////////////////////////////////////////////

#if !defined(AFX_TONFADOC_H__5EEAF8B3_8DB6_4BBE_BC13_332C626D3244__INCLUDED_)
#define AFX_TONFADOC_H__5EEAF8B3_8DB6_4BBE_BC13_332C626D3244__INCLUDED_

#include "LinkList.h"
#include "StateTable.h"	// Added by ClassView
#include "Stack.h"
#if _MSC_VER > 1000
#pragma once
#endif // _MSC_VER > 1000


class CTONFADoc : public CDocument
{
protected: // create from serialization only
	CTONFADoc();
	DECLARE_DYNCREATE(CTONFADoc)

// Attributes
public:

// Operations
public:

// Overrides
	// ClassWizard generated virtual function overrides
	//{{AFX_VIRTUAL(CTONFADoc)
	public:
	virtual BOOL OnNewDocument();
	virtual void Serialize(CArchive& ar);
	virtual void DeleteContents();
	//}}AFX_VIRTUAL

// Implementation
public:
	int DfaToMin();
	LinkList zList;
	LinkList zzList;
	CString ListStr(int data);
	CString ListStrMIN(int data);
	int NfaToDfa();//返回 n
	int IsEqual(LinkList *a, LinkList *b);
	void Sort(LinkList *a);
	LinkList* Closure(LinkList *xList, char a);
	LinkList* Epsilon_Closure(LinkList *xList);
	int CheckExp();
	int ExpToNfa();//返回 k
	CString m_Title;
	int m_flag;
	int t;
	int letternum;//字母个数
	bool redraw;
	StateTable NFATable;
	StateTable DFATable;
	StateTable MINTable;
	LinkList * DA[100];
	LinkList * MA[100];
	char character[256];
	virtual ~CTONFADoc();
#ifdef _DEBUG
	virtual void AssertValid() const;
	virtual void Dump(CDumpContext& dc) const;
#endif

protected:

// Generated message map functions
protected:
	//{{AFX_MSG(CTONFADoc)
		// NOTE - the ClassWizard will add and remove member functions here.
		//    DO NOT EDIT what you see in these blocks of generated code !
	//}}AFX_MSG
	DECLARE_MESSAGE_MAP()
};

/////////////////////////////////////////////////////////////////////////////

//{{AFX_INSERT_LOCATION}}
// Microsoft Visual C++ will insert additional declarations immediately before the previous line.

#endif // !defined(AFX_TONFADOC_H__5EEAF8B3_8DB6_4BBE_BC13_332C626D3244__INCLUDED_)