//打印程序信息
#include "display.h"

void Display::main_msg()
{
	cout<<"========================================================="<<endl;
	cout<<"            DFA实现 by annhe 11 Apr 2013                 "<<endl;
	cout<<"========================================================="<<endl;
	cout<<"请选择操作:                                              "<<endl;
	cout<<"             1.DFA的输入                                 "<<endl;
	cout<<"             2.DFA的存储与读写                           "<<endl;
	cout<<"             3.DFA的正确性检查                           "<<endl;
	cout<<"             4.DFA的语言集列表显示                       "<<endl;
	cout<<"             5.DFA的规则字符串判定                       "<<endl;
	cout<<"             0.退出系统                                  "<<endl;
	cout<<"========================================================="<<endl;
}

void Display::dfa_in()
{
	cout<<"请输入DFA (格式：均以空格分隔)"<<endl;
}

void Display::dfa_rw()
{
	cout<<"写入文件的格式为："<<endl;
	cout<<"==========================="<<endl;
	cout<<"a b c 	//状态集"<<endl;
	cout<<"0 1      //字母表"<<endl;
	cout<<"delta[a][b] //转移矩阵  - 表示出错状态"<<endl;
	cout<<"q0       //起始状态"<<endl;
	cout<<"f	    //接受状态集"<<endl;
	cout<<"==========================="<<endl;

}