* @param statusT
	 * @param input
	 * @return
	 */
	public String move(String statusT, int input, String[][] metrix) {
		String afterMove = "";
		for(int i = 0; i < statusT.length(); i++) {
			if(!metrix[statusT.charAt(i) - '0'][input].equals("#") && !metrix[statusT.charAt(i) - '0'][input].equals("@")) {
				afterMove += metrix[statusT.charAt(i) - '0'][input];
			}
		}
		afterMove = removeEcho(afterMove);
		return afterMove;
	}
	/**
	 * 求moveStatus的閉包集，最終存儲(chǔ)在closureStatus
	 * e - closure(move(T, a))
	 * @param moveStatus
	 * @param closureStatus
	 * @param eIndex
	 * @return
	 */
	public String closure(String moveStatus, String closureStatus, int eIndex) {
		for(int i = 0; i < moveStatus.length(); i++) {								/* moveStatus表示move(T, a)，已經(jīng)由move函數(shù)求得 */
			String str = matrix_NFA[moveStatus.charAt(i) - '0'][eIndex];	/* 在e輸入下的跳轉(zhuǎn)狀態(tài) */
			if(str.charAt(0) == '#') {
				continue;
			}
			for(int j = 0; j < str.length(); j++) {
				if(closureStatus.contains(String.valueOf(str.charAt(j)))) {
					continue;
				} else {
					closureStatus += str.charAt(j);
				}
				closureStatus = closure(String.valueOf(str.charAt(j)), closureStatus, eIndex);	/* 遞歸求在e輸入下的一連串狀態(tài) */
			}
		}
		return closureStatus;
	}
	/**
	 * NFA的確定化函數(shù)
	 */
	public void confirm() {
		String moveStatus;							/* 存放子集成員在a輸入下的狀態(tài)轉(zhuǎn)換集 */
		String closureStatus;							/* 存放在moveStatus的閉包集 */
		ArrayList strOnly;								/* 存放子集中的元素，與c_Group不同的是strOnly只存放狀態(tài)集，以便判斷 */
		int stTag = 0;									/* 與ClosureStatus類中的ST變量對(duì)應(yīng) */

		moveStatus = closureStatus = "0";	/* 初始值為初始狀態(tài) */		
		closureStatus = sort(closure(moveStatus, closureStatus, len_SYMS));	/* 求初始狀態(tài)的閉包集，并排序 */

		c_Group = new ArrayList();
		strOnly = new ArrayList();
		ClosureStatus cs = new ClosureStatus();											/* 狀態(tài)子集中的第一個(gè)元素，課本算法上的T0集，為標(biāo)記*/
		cs.setSTATUS(closureStatus);
		cs.setST("" + stTag);
		stTag++;
		c_Group.add(cs);																				/* 把T0添加到C子集中 */			
		strOnly.add(closureStatus);
		counter++;									
		
		/**
		 * 
		 * index_CGroup：從C子集開頭挨個(gè)檢測(cè)狀態(tài)集是否被標(biāo)記的下標(biāo)
		 * counter：C子集中的狀態(tài)個(gè)數(shù)
		 * C子集中存在未標(biāo)記的狀態(tài)集且index_CGroup < counter則繼續(xù)執(zhí)行
		 */
		while(index_CGroup < counter && !((ClosureStatus)c_Group.get(index_CGroup)).isTARGET()) {
			cs = (ClosureStatus)c_Group.get(index_CGroup);
			String tempStr = cs.getSTATUS();
			cs.setTARGET(true);
			for(int i = 1; i < len_SYMS; i++) {
				moveStatus = move(tempStr, i, matrix_NFA);								/* 代表move(T, a)*/
				closureStatus = moveStatus;														/* 待求閉包的狀態(tài)集也包含在閉包集中 */
				closureStatus = closure(moveStatus, closureStatus, len_SYMS);	/* 求閉包 */
				closureStatus = removeEcho(closureStatus);								/* 刪除在狀態(tài)集中重復(fù)的狀態(tài) */
				closureStatus = sort(closureStatus);											/* 排序 */
				ClosureStatus newCS = new ClosureStatus();
				newCS.setSTATUS(closureStatus);
				if(!strOnly.contains(closureStatus)) {											/* 如果新求得的閉包集不包含在C子集中，則添加到C子集中 */
					newCS.setST("" +stTag );
					stTag++;
					c_Group.add(newCS);
					strOnly.add(closureStatus);
					counter++;
				}
			}
			index_CGroup++;
		}
		strToChar();
	}
	public void getInitData() {
		String nextLine;									/* 存放從文件中讀取的一行字符串 */
		String tempStr;									/* 存放所讀取字符串去空格之后的字符串 */		
		StringTokenizer tokenStr;					/* 序列化字符串 */
		int tempRow, tempCol;						/* 初始化matrix_NFA矩陣時(shí)的臨時(shí)下標(biāo) */
		int statusIndex;									/* 在矩陣每行最前面標(biāo)記狀態(tài) */

		try {
			BufferedReader br = new BufferedReader(new FileReader("./files/Test.txt"));

			tempStr = "";
			nextLine = br.readLine();					/* 讀取第一行，作為輸入符號(hào)集 */
			tokenStr=new StringTokenizer(nextLine);
			while(tokenStr.hasMoreTokens()) {
				tempStr += tokenStr.nextToken();
			}
			len_SYMS = tempStr.length();			/* 輸入符號(hào)個(gè)數(shù) */
			input_SYM = new char[len_SYMS];	/* 分配輸入符號(hào)數(shù)組長(zhǎng)度 */
			input_SYM = tempStr.toCharArray();	/* 用讀取到的輸入符號(hào)初始化input_SYM內(nèi)的元素 */

			tempStr = "";
			nextLine = br.readLine();					/* 讀取第二行，NFA的終態(tài)集 */
			tokenStr=new StringTokenizer(nextLine);
			while(tokenStr.hasMoreTokens()) {
				tempStr += tokenStr.nextToken();
			}
			len_ENDSTNFA = tempStr.length();					/* NFA的終態(tài)個(gè)數(shù) */
			endStatus_NFA = new char[len_ENDSTNFA];		/* 初始化NFA終態(tài)集的長(zhǎng)度 */
			endStatus_NFA = tempStr.toCharArray();			/* 用所讀取到的終態(tài)初始化endStatus_NFA的元素 */

			nextLine = br.readLine();									/* 讀取地三行，狀態(tài)轉(zhuǎn)換矩陣的行數(shù) */
			row_NFA = Integer.parseInt(nextLine);	
			col_NFA = len_SYMS;	
			matrix_NFA = new String[row_NFA][col_NFA + 1];	/* 分配NFA狀態(tài)轉(zhuǎn)換矩陣空間大小 */

			tempStr = "";
			nextLine = br.readLine();									/* 讀取矩陣 */
			tokenStr=new StringTokenizer(nextLine);
			tempRow = 0;	tempCol = 0;
			statusIndex = 0;
			while(nextLine != null && !nextLine.equals("")) {
				matrix_NFA[tempRow][tempCol++] = "" + statusIndex++;
				while(tokenStr.hasMoreTokens()) {
					matrix_NFA[tempRow][tempCol++] = tokenStr.nextToken();
				}

				nextLine = br.readLine();
				if(nextLine != null && !nextLine.equals("")) {
					tokenStr=new StringTokenizer(nextLine);
				}
				tempRow++;	tempCol = 0;
			}
		} catch(FileNotFoundException e) {
			System.out.println("FileNotFoundException!!!");
		} catch(IOException e) {
			System.out.println("IOException");
		}
	}
	public void display(int n) {
		switch(n) {
		case 1:
			for(int i = 0; i < row_NFA; i++) {
				for(int j = 0; j < col_NFA + 1; j++) {
					System.out.print(matrix_NFA[i][j] + "\t");
				}
				System.out.println();
			}
			break;
		case 2:
			for(int i = 0; i < row_DFA; i++) {
				for(int j = 0; j < col_DFA + 1; j++) {
					System.out.print(matrix_DFA[i][j] + "\t");
				}
				System.out.println();
			}
			break;
		}
	}
	public void check() {
		String inputStr = "";
		int next = 0;
		String status = "0";

		try {
			BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
			while(true) {
				System.out.print("請(qǐng)輸入待檢測(cè)的句子(01串) ： ");
				inputStr = br.readLine();
				for(int i = 0; i < inputStr.length(); i++) {
					if(inputStr.charAt(i) == input_SYM[0]) {
						next = 1;
					} else {
						next = 2;
					}
					status = matrix_DFA[status.charAt(0) - '0'][next];
					if(i == inputStr.length() - 1) {
						if(status.equals(end_Status)) {
							System.out.println("所輸入句子被識(shí)別!!!");
						} else {
							System.out.println("所輸入句子不能被識(shí)別!!!");
						}
					}
					if(status.equals("@")) {
						System.out.println("所輸入句子不能被識(shí)別!!!");
					}
				}
			}
		} catch(Exception e) {}
	}
	public static void main(String args[]) {
		ConfirmNFA confirm = new ConfirmNFA();

		confirm.getInitData();
		confirm.confirm();
		confirm.display(2);
		confirm.miniDFA();
		confirm.display(2);
		confirm.check();

	}
}

/*
 * 該類的對(duì)象作為根據(jù)NFA構(gòu)造的子集族C的元素
 */
class ClosureStatus {
	private String STATUS;							/* 存放求完閉包之后的狀態(tài)集，其中每一個(gè)字符表示一個(gè)狀態(tài) */
	private boolean TARGET;						/* 標(biāo)記(課本P59算法中提到的標(biāo)記，true為被標(biāo)記狀態(tài)，初始值為未標(biāo)記 )*/
	private String ST;									/* 存放用字符代替狀態(tài)集之后的狀態(tài)標(biāo)記 */

	public ClosureStatus() {STATUS = "";	TARGET = false;}
	public String getSTATUS() {return STATUS;}
	public void setSTATUS(String status) {STATUS = status;}
	public boolean isTARGET() {return TARGET;}
	public void setTARGET(boolean target) {TARGET = target;}
	public String getST() {return ST;}
	public void setST(String st) {ST = st;}
}