0.PRISMとは　


1 
2 [](x>0) -> 0.8:x=3 + 0.2:x=1
3 
4

　PRISMとは、確率によって遷移するオートマトンです。なぜ確率的遷移が必要になるのでしょう？
　続きはそのうち書きます。