遷移系関係用語

• アルファベット
• アルファベットの要素： {アクション | 入力 | 刺激}?{ラベル | レター | 記号 | シンボル | 信号}、インストラクション{記号 | ラベル | ニモニック}?
• 遷移、作用、実行
• 遷移系、マシン、エンジン
• 状態{空間 | 集合}
• ムーブ、ムーブペア、ムーブトリプル、無音ムーブ〈サイレントムーブ | イプシロンムーブ〉
• 状態遷移グラフ（集合ラベル付き有向グラフ）

signture RightTransitionSystem within (C in MonCAT} {
  sort A
  sort S
  operation t: S×A → S

  alias alphabet := A
  alias state-space := S
  alias right-transition := t
  alias transition := right-transition
}

alias TransitionSystem := RightTransitionSystem

signature DetTransitionSystem := TransitionSystem within Set
signature ParTransitionSystem := TransitionSystem within Partial
signature NonDetTransitionSystem := TransitionSystem within NonDet

ターゲット圏は Set, Partial, NonDet に限定する。NonDetが中心。