行政楼电梯DFA-形式语言大作业(共7页).doc

精选优质文档-倾情为你奉上哈工大行政楼电梯DFA设计小组成员：-2015年11月14日一、 自然语言描述（一）电梯基本状况：1.行政楼一共6层，有两个电梯工作，两个电梯并非完全并行，但是若同时考虑两个电梯的话，例如关于同一指令的优先判定之类的问题变量过多，在这次DFA设计中出于方便和简洁的考虑我们只研究1个电梯的运行状态。2.在电梯外，一楼只有向上键，六楼只有向下键，其他楼层既有向上键，又有向下键。在电梯内部，有1-6六个按键，分别对应6个楼层。3.电梯有超重检测系统，承载重量超过额定重量之后会蜂鸣提示，同时保持停靠状态。4.在电梯中还有开关门及意外情况报警的按键，对构造电梯的DFA没有影响，可不予考虑。（2） 电梯运行方式：为了设计DFA我们首先需要对实地考察得出的电梯运行规律用自然语言进行描述：现设有i,j,k三个变量其中 1= i