main.cpp

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

#include <stdio.h>
#include "Machine.h"

int main(int argc,char *argv[])
{	
	FiniteAutomata  Machine;
	int    no;
	/*
	RULE       Rule[] =
	{
		0,1,0,
	    0,7,0,
		1,2,0,
		1,4,0,
		2,3,'a',
		3,6,0,
		4,5,'b',
		5,6,0,
		6,1,0,
		6,7,0,
		7,8,'a',
		8,9,'b',
		9,10,'b'
	};	
	
	for(no = 0; no < 13; no++ )
		Machine.AddRule(Rule[no]);
	Machine.AddStartState(0);
	Machine.AddEndState(10);
	*/

	RULE       Rule[] =
	{
		0,0,'a',
		0,1,'a',
		0,1,'b',
		1,0,'a'
	};	
	
	for(no = 0; no < 4; no++ )
		Machine.AddRule(Rule[no]);
	Machine.AddStartState(0);
	Machine.AddEndState(0);

	Machine.TransformToDFA();
	printf("\n\n\n****************************************\n\n");
	Machine.TransformToDFA();
	return 0;	
}