1、Formal Language Project行政楼电梯 DFA 模型2011 年 10 月 31 日一、 关于行政楼电梯的自然语言描述1 电梯的基本情况： 1)行政楼一共有 6 层。 2)为了保证运行效率，该电梯不会在 2 楼停止。 3)电梯内部设有开门、关门和 1-6 数字键，共 8 个按钮。 4)除第一层只有向上键、第六层只有向下键以外，在每一层楼电梯门外部均设有向上和向下键。2 电梯的运行方式： 对于任意的 i,j,k (1i jk 6) 1)当电梯停止在第 i 层时，用户按下 j 层键和 k 层键，电梯会先停在第 j层，再停在第 k 层。 2)当电梯经过第 i 层向上运动时，用户之前
2、已按下 k 键，此时再按下 j键，电梯会先停在第 j 层，再停在第 k 层。 3)当电梯经过第 j 层向上运动时，用户之前已按下 k 键，此时再按下 i键，电梯会停止在第 k 层，且不会再返回第 i 层。即到达第 k 层后，在电梯的内部输入的停止第 i 层的请求将被取消。 4）电梯内部的数字键和每一层楼电梯门外部的上下键一旦被按下就不能再由用户通过按键操作取消。 5）当电梯的载重过大时，电梯会提示超重并且停在该层，直到电梯的载重小于其最大负荷再继续运行。 电梯在向下运行时的方式与此方向相反，道理相同，不再赘述。二、关于行政楼电梯的 DFA 设计1 电梯的状态表示行政楼电梯状态表S1 电梯停在
3、1 楼，没有任何其他请求发出S3 电梯停在 3 楼，没有任何其他请求发出S4 电梯停在 4 楼，没有任何其他请求发出S5 电梯停在 5 楼，没有任何其他请求发出S6 电梯停在 6 楼，没有任何其他请求发出U3 电梯正向上运行中，电梯临时途中停在 3 楼U4 电梯正向上运行中，电梯临时途中停在 4 楼U5 电梯正向上运行中，电梯临时途中停在 5 楼D3 电梯正向下运行中，电梯临时途中停在 3 楼D4 电梯正向下运行中，电梯临时途中停在 4 楼D5 电梯正向下运行中，电梯临时途中停在 5 楼输入信号表：输入信号的数字代表的既是电梯内按下的按钮数字，也是电梯外用户按下上或下键的楼层数，经过分析，此二
4、者在本 DFA 中等效。1 发出停在 1 楼的命令3 发出停在 3 楼的命令4 发出停在 4 楼的命令5 发出停在 5 楼的命令6 发出停在 6 楼的命令2 图形 DFAU 3 U 4 U 5D 3 D 4 D 5S 1 S 5S 3 S 4 S 65 ， 6 6435 654311 3 ， 11 ， 3 1 ， 3 ， 4 1 ， 3 ， 4 ， 513 4564 ， 5 ， 6 5 ， 63 ， 4 ， 5 ， 64，5，65,645661313，11，3，4三、DFA 表达式A = Q, , , Q 0, FQ =S1,S3,S4,S5,S6,U3,U4,U5,D3,D4,D5=1,3,4,5,6：详见图形 DFA 箭头上的标号。Q0=S1F=S1,S3,S4,S5,S6四、小组分工：实地考察电梯，获取电梯运行方式数据，DFA 的设计；：DFA 的设计，图形 DFA 绘制，实验报告的审查；：DFA 表达式构建，DFA 图表审查，整体实验报告的撰写。
