DFA窗口

概述

本窗口提供創建自動機的圖形工具,利用鼠標我們能夠很方便地在
窗口的畫板上設計出自動機的狀態轉換圖


狀態
  
  
	創建: 將鼠標移動到畫板的一個空白區域, 按下SHIFT+鼠標
		左鍵即可創建一個新的狀態,系統同時為新創建的
		狀態進行編號，狀態在初建是顏色為黃色，表示狀
		態還沒有和項目集對應。

	移動: 移動鼠標到想要移動的狀態上, 按下SHIFT不放, 按
		左鍵并同時拖動鼠標即可移動當前選中的狀態. 
	
	刪除: 移動鼠標到想要刪除的狀態上,按鼠標右鍵,系統將彈
		出窗口,選擇彈出窗口的刪除項即可
	
	設為初始(終止)狀態: 同刪除操作一樣,但是選擇彈出窗口不
		同的選項.

	顯示閉包: 顯示閉包，系統將彈出閉包窗口,要求用戶輸入狀
		態所對應的項目集.在輸入項目集時,項目中的圓點用
		下劃線'_'表示,在項目集輸入完成后,請按項目集窗口
		的「完成」按鈕，系統將自動指定該項目集為該狀態對
		應的項目集。如果項目集有誤，系統將提醒用戶修改，
		用戶也可以用「顯示」按鈕來顯示正確的項目集。
		「隱藏」按鈕將關閉項目集窗口。在完成項目集和狀態
		對應之后，狀態將顯示為綠色。

	展開: 展開一個狀態時,系統將自動產生在當前狀態下,面對不同
		的語法符號自動機能夠到達的新狀態，以及對應的轉換
		邊。如果一個狀態沒有和項目集對應（狀態的顏色為黃
		色），則不能對該狀態進行展開。

狀態轉換邊
  
	創建: 將鼠標移動到想要建立狀態轉換邊的始狀態，按住鼠標左
		鍵不放移動鼠標到終狀態，松開鼠標鍵，系統將畫出一
		條狀態轉換邊，并聚焦到該邊的標記上，此時鍵如該邊
		對應的字母即可，如果該邊對應的字母是空串，則邊的
		標記不需要輸入任何字母。
  
	刪除: 移動鼠標到對應邊的標記上，按鼠標右鍵，系統將打開彈
		出窗口，選擇彈出窗口的「刪除」項即可。

	編輯邊的標記: 移動鼠標到邊的標記上，點擊左鍵，使系統聚焦
		到標記上，用正常的編輯方法即可對邊的標記進行修改，
		注：如果一條邊對應有多個字母，則字母之間必須用逗
		號“,”分隔。

	注: 本系統沒有對標記進行移動的功能，系統將所有的標記放在
		邊的中間。

菜單
  	文件
		打印: 打印當前自動機到打印機或生成打印文件。

  	選項
		重新標記狀態: 重新對狀態進行編號，使得狀態編號是連
			續的整數.
    
		顯示不確定狀態: 查看自動機是否有不確定狀態，如果存
			在將用紅色顯示。
	
		顯示不可達狀態: 用紅色顯示不可達狀態。

		自動標記狀態: 如果選擇本選項，系統將自動對狀態進行
			連續的編號。

按鈕
	返回：返回到語法窗口。

	清除：清除當前的畫板。

	顯示：顯示正確的自動機。

	完成：讓系統檢查當前自動機是否正確，如果正確則轉入到分析表
		窗口。否則，提示自動機的錯誤，讓用戶繼續在本窗口修
		改自動機。

	幫助：顯示本窗口。