dfahelp.txt

形式文法分析JAVA工具包 本JAVA Applets程序提供对LL(1),LL(2)和LR(1)文法分析处理,用户可以输入任何满足条件的形式文法,通帮过系统的提示和帮助构造出相应文法的分析表,以及

DFA窗口

概述

本窗口提供创建自动机的图形工具,利用鼠标我们能够很方便地在
窗口的画板上设计出自动机的状态转换图


状态
  
  
	创建: 将鼠标移动到画板的一个空白区域, 按下SHIFT+鼠标
		左键即可创建一个新的状态,系统同时为新创建的
		状态进行编号，状态在初建是颜色为黄色，表示状
		态还没有和项目集对应。

	移动: 移动鼠标到想要移动的状态上, 按下SHIFT不放, 按
		左键并同时拖动鼠标即可移动当前选中的状态. 
	
	删除: 移动鼠标到想要删除的状态上,按鼠标右键,系统将弹
		出窗口,选择弹出窗口的删除项即可
	
	设为初始(终止)状态: 同删除操作一样,但是选择弹出窗口不
		同的选项.

	显示闭包: 显示闭包，系统将弹出闭包窗口,要求用户输入状
		态所对应的项目集.在输入项目集时,项目中的圆点用
		下划线'_'表示,在项目集输入完成后,请按项目集窗口
		的「完成」按钮，系统将自动指定该项目集为该状态对
		应的项目集。如果项目集有误，系统将提醒用户修改，
		用户也可以用「显示」按钮来显示正确的项目集。
		「隐藏」按钮将关闭项目集窗口。在完成项目集和状态
		对应之后，状态将显示为绿色。

	展开: 展开一个状态时,系统将自动产生在当前状态下,面对不同
		的语法符号自动机能够到达的新状态，以及对应的转换
		边。如果一个状态没有和项目集对应（状态的颜色为黄
		色），则不能对该状态进行展开。

状态转换边
  
	创建: 将鼠标移动到想要建立状态转换边的始状态，按住鼠标左
		键不放移动鼠标到终状态，松开鼠标键，系统将画出一
		条状态转换边，并聚焦到该边的标记上，此时键如该边
		对应的字母即可，如果该边对应的字母是空串，则边的
		标记不需要输入任何字母。
  
	删除: 移动鼠标到对应边的标记上，按鼠标右键，系统将打开弹
		出窗口，选择弹出窗口的「删除」项即可。

	编辑边的标记: 移动鼠标到边的标记上，点击左键，使系统聚焦
		到标记上，用正常的编辑方法即可对边的标记进行修改，
		注：如果一条边对应有多个字母，则字母之间必须用逗
		号“,”分隔。

	注: 本系统没有对标记进行移动的功能，系统将所有的标记放在
		边的中间。

菜单
  	文件
		打印: 打印当前自动机到打印机或生成打印文件。

  	选项
		重新标记状态: 重新对状态进行编号，使得状态编号是连
			续的整数.
    
		显示不确定状态: 查看自动机是否有不确定状态，如果存
			在将用红色显示。
	
		显示不可达状态: 用红色显示不可达状态。

		自动标记状态: 如果选择本选项，系统将自动对状态进行
			连续的编号。

按钮
	返回：返回到语法窗口。

	清除：清除当前的画板。

	显示：显示正确的自动机。

	完成：让系统检查当前自动机是否正确，如果正确则转入到分析表
		窗口。否则，提示自动机的错误，让用户继续在本窗口修
		改自动机。

	帮助：显示本窗口。