staterule.h

此程序可以把编译原理中的不确定的有限自动机确定化

#include <windows.h>
#include <stdio.h>

typedef int          STATE;
typedef char         SIGN;

struct   RULE
{
	STATE oldstate,newstate;
	SIGN  input;
	bool  operator==(const RULE&);
};

class RULE_SET
{
public:
	RULE_SET();
	~RULE_SET();
	int   GetRuleNum();
	RULE  GetRule(int);
	int   GetSignNum();
	SIGN  GetSign(int);
	void  AddRule(RULE);
	void  Reset();	
	bool  IsValidSign(SIGN);
	void  operator=(const RULE_SET&);
private:
	int   RuleNum;
	int   SignNum;
	RULE* pRules;
	SIGN* pSigns;
};

class STATE_SET
{
public:
	STATE_SET();
	~STATE_SET();
	int     GetStateNum();
	STATE   GetState(int);
	bool    AddState(STATE);
	void    Reset();
	STATE_SET&  operator=(const STATE_SET&);
	bool    operator==(const STATE_SET&);	
	void    GetNULLClosure(RULE_SET&,STATE_SET&);
	void    GetMoveResultSet(RULE_SET&,SIGN,STATE_SET&);
	bool    StateInSet(STATE);

	void  Output();
private:
	int     StateNum;
	STATE*  pStates;
};