atomic_ruleset復活工事

[nikosai]

背景

• SLIMの歴史上、zerostepとatomic_rulesetという二種類の類似機能が存在した
  • いずれも「状態空間上で複数の状態や遷移をまとめる（圧縮する）」ための機能
• zerostepは現存機能
  • 大まかな仕様は doc/zerostep.md にある
  • 実装者曰く意味論的に微妙だが、ユーザ定義可能な構造合同規則の導入を目的として実装された
  • 現状では状態空間圧縮のための唯一の機能なので利用者は多い
• atomic_rulesetは廃止された機能
  • commit 252939e4 で廃止
  • 廃止以前もバグが多く、3つあるモードのうち1つしかまともに動作していなかった → atomic_rulesetバグ[2.2.5] #5, slim is having problem with "atomic_ruleset". there are two programs which has reported errors[2.2.4] #6, atomic ruleset (atomic all) のバグ[2.2.2] #9
  • 現在zerostepが使われている多くのケースでは、本来（0stepでなく1stepの）atomicが使われるべき

目的

• atomic_rulesetの復活工事
  • 上記廃止コミットを参考に、廃止時点のIssue類に気をつけつつ復活工事を行う
  • 恐らく全てのモードを復活させる必要はなく（またバグの温床になる）、現状のユースケースに合うものを実装すべき

なお、現時点でatomic_rulesetは廃止済みなので上掲の関連Issueは一旦closeします。