码迷，mamicode.com
首页 > 编程语言 > 详细

有限状态机(FSM)的Java 学习FSM

时间：2017-09-22 11:50:14      阅读：351      评论：0      收藏：0      [点我收藏+]

标签：state   details   text   tail   def   oid   arc   编写   输出   

 本文从简单的例子入手，逐步演变成非常复杂的程序。

在简明 状态模式（5.8）中，状态之间的变换由外界控制，或者说，多种状态是分割的、无关的。状态模式最有趣的地方正是讨论其状态的变迁。

1.引子

空调(air-condition)的遥控器有两个按钮(更多的按钮技术分享在后面的例子中引入)，power/电源键和cool/制冷键。空调的运行呈现3个状态，停止/Off、仅送风/FanOnly、制冷/Cool。起始状态为Off，状态变化图如下所示。

这是简化的有限状态机(Finite State Machine、FSM或者Finite State Automata)图形，使用了状态图的3个元素：①气泡，表示状态(state)；②连接状态的箭头表示转换（transition）；③箭头上的标记前者为事件(event)。

技术分享

状态的转换，看图说话。按power键，则Off→FanOnly、Cool→Off等；按cool，则Off→Off (没有画出来，喜欢全面一点就自己画吧)。

对于这种简单的状态的转换，yqj2065还是喜欢分支语句。技术分享，简洁明快。

 

[java] view plain copy
 
  1. 例程 4-5 简洁明快  
  2. package property.state.stateMachine;  
  3. import static tool.Print.*;//pln  
  4. /** 
  5.  * 空调Aircon。简单的模型： 
  6.  * 遥控器有两个按钮(更多的按钮在下面的例子中引入)，power电源键和cool制冷键。 
  7.  * 空调的运行呈现3个状态，停止/Off、仅送风/FanOnly、制冷/Cool。 
  8.  * 起始状态为Off 
  9.  * @author (yqj2065)  
  10.  * @version 0.1 
  11.  */  
  12. public class Aircon0{  
  13.     // off，FanOnly，AC  
  14.     private int state=0;//起始状态为Off  
  15.     public int getState(){return state;}  
  16.     //两个Action  
  17.     public void power(){//按power键  
  18.         if(state==0){//off  
  19.             state=1;  
  20.             pln("start Fan");   
  21.         }else if(state==1){//FanOnly  
  22.             state=0;  
  23.             pln("stop Fan");   
  24.         }else{  
  25.             state=0;  
  26.             pln("stop Cool");   
  27.         }  
  28.     }  
  29.   
  30.     public void cool(){//按制冷键  
  31.         if(state==0){//off  
  32.             pln("nothing");  
  33.         }else if(state==1){//FanOnly  
  34.             state=2;  
  35.             pln("start Cool");   
  36.         }else{  
  37.             state=1;  
  38.             pln("stop Cool");   
  39.         }  
  40.     }  
  41. }  
  42. package property.state.stateMachine;  
  43. public class ACCtrl{  
  44.     public static void test(){  
  45.         Aircon0 ac = new Aircon0();//power() cool()  
  46.         System.out.println("Current State:" + ac.getState());  
  47.         ac.cool();  
  48.         ac.power();  
  49.         ac.cool();  
  50.         ac.cool();  
  51.         ac.power();  
  52.         ac.power();  
  53.     }  
  54. }  

测试代码的输出：

 

Current State:0
nothing
start Fan
start Cool
stop Cool
stop Fan
start Fan

在此基础上，可以花10分钟练习一下，采用状态模式修改上述代码。我们使用enum编写状态类层次。其结构如下：

 

[java] view plain copy
 
  1. 例程 4 6 enum State  
  2.   
  3. enum State0{  
  4.     OFF{  
  5.         @Override void power(){              
  6.         }  
  7.         @Override void power(){  
  8.         }  
  9.     },FANONLY{  
  10.     },  
  11.     COOL{ };  
  12.     public abstract void power();  
  13.     public abstract void cool();  
  14. }  

(本来是应该将State1作为Aircon1的内部类的。放在外边，power()等需要添加参数Aircon1，变为power(Aircon1 ac)).

现在，丰富有限状态机的细节，增添④动作(action)，如事件(event)相应的动作和状态的动作。

技术分享

为此，在enum State1中，除了状态模式 提取的接口外，添加了状态机的各种动作/action methode
    void entry(Aircon1 ac){pln("→"+ac.state.name());}
    void exit(Aircon1 ac){p(ac.state.name()+"→ ");}
    void startCool(){        p("start Cool");    }
    void stopCool(){        p("stop Cool");    }
    void startFan(){        p("start Fan");    }
    void stopFan(){        p("stop Fan");    }  

每个power(Aircon1 ac)、cool(Aircon1 ac)的方法体结构都是：

            this.exit(ac);
            //如果有的话，事件(event)相应的动作，如stopFan();
            ac.state =OFF; //下一个状态
            ac.state.entry(ac); 

 

 

[java] view plain copy
 
  1. package property.state.stateMachine;  
  2. import static tool.Print.*;//pln  
  3. /** 
  4.  * 本来是应该将State1作为Aircon1的内部类的。现在放在外边， 
  5.  * power()等需要变为power(Aircon1 ac) 
  6.  */  
  7. public enum State1{  
  8.     OFF{  
  9.         @Override void exit(Aircon1 ac){super.exit(ac);startFan();}  
  10.         @Override void power(Aircon1 ac){  
  11.             this.exit(ac);  
  12.             ac.state =FANONLY;              
  13.             ac.state.entry(ac);   
  14.         }  
  15.         @Override void cool(Aircon1 ac){  
  16.             pln("nothing");  
  17.         }  
  18.     },FANONLY{  
  19.         @Override void power(Aircon1 ac){  
  20.             this.exit(ac);  
  21.             stopFan();  
  22.             ac.state =OFF;  
  23.             ac.state.entry(ac);   
  24.         }  
  25.         @Override void cool(Aircon1 ac){  
  26.             this.exit(ac);  
  27.             ac.state =COOL;  
  28.             ac.state.entry(ac);  
  29.         }  
  30.     },  
  31.     COOL{  
  32.         @Override void exit(Aircon1 ac){super.exit(ac);stopCool();}  
  33.         @Override void entry(Aircon1 ac){startCool();super.entry(ac);}  
  34.         @Override void power(Aircon1 ac){              
  35.             this.exit(ac);  
  36.             stopFan();  
  37.             ac.state =OFF;  
  38.             ac.state.entry(ac);   
  39.         }  
  40.         @Override void cool(Aircon1 ac){  
  41.             this.exit(ac);  
  42.             ac.state =FANONLY;  
  43.             ac.state.entry(ac);    
  44.         }  
  45.     };  
  46.     //状态模式 提取的接口  
  47.     abstract void power(Aircon1 ac);  
  48.     abstract void cool(Aircon1 ac);  
  49.     //状态机的各种动作action methode  
  50.     void entry(Aircon1 ac){pln("→"+ac.state.name());}  
  51.     void exit(Aircon1 ac){p(ac.state.name()+"→ ");}  
  52.     void startCool(){        p("start Cool");    }  
  53.     void stopCool(){        p("stop Cool");    }  
  54.     void startFan(){        p("start Fan");    }  
  55.     void stopFan(){        p("stop Fan");    }      
  56. }  

 

空调Aircon1的修改版本。

 

[java] view plain copy
 
  1. package property.state.stateMachine;  
  2. import static tool.Print.*;//pln  
  3. /** 
  4.  * 空调Aircon1。使用状态模式重构Aircon0，使用enum State1编写状态类层次。 
  5.  * @author (yqj2065)  
  6.  * @version 0.1 
  7.  */  
  8. public class Aircon1{  
  9.     State1 state= State1.OFF;//private改默认，删除getState()。  
  10.     //两个Action  
  11.     public void power(){//按power键  
  12.         state.power(this);  
  13.     }  
  14.     public void cool(){//按制冷键  
  15.         state.cool(this);  
  16.     }  
  17.     /** 
  18.      * ACCtrl的代码。 
  19.      */  
  20.     public static void test(){  
  21.         Aircon1 ac = new Aircon1();  
  22.         System.out.println("Current State:" + ac.state.name());  
  23.         ac.cool();  
  24.         ac.power();  
  25.         ac.cool();  
  26.         ac.cool();  
  27.         ac.power();  
  28.         ac.power();  
  29.         ac.power();  
  30.           
  31.     }  
  32. }  

对应测试操作的输出：“OFF→”表示离开OFF状态，而“→FANONLY”...

 

Current State:OFF
nothing
OFF→ start Fan→FANONLY
FANONLY→ start Cool→COOL
COOL→ stop Cool→FANONLY
FANONLY→ stop Fan→OFF
OFF→ start Fan→FANONLY
FANONLY→ stop Fan→OFF

 

2.分层状态机

对于状态较多的状态机，通常将具有许多公共的特性的状态合并到一起。例如FANONLY和COOL构成的Running状态。

 

技术分享

状态机中的hierarchical states，我们可以使用组合模式处理。（还没有单独写组合模式，技术分享）。但是，又不一定能够完美地使用组合模式，例如Running到Off，所有的Running的内部状态在PoverEvent时都转化到OFF，很好；OFF到Running，不是所有Running的内部状态都要调用其entry。在使用enum(不好搞类层次)时，使用责任链吧。

 

搜集摘抄于：http://blog.csdn.net/yqj2065/article/details/39371487

有限状态机(FSM)的Java 学习FSM

标签：state   details   text   tail   def   oid   arc   编写   输出   

原文地址：http://www.cnblogs.com/nucdy/p/7573658.html
踩
(0)
赞
(0)
   
举报
评论 一句话评论（0）
登录后才能评论！
分享档案
更多>
2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)
周排行
mamicode.com排行更多图片
更多
友情链接
兰亭集智   国之画   百度统计   站长统计   阿里云   chrome插件   新版天听网
关于我们 - 联系我们 - 留言反馈
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码！