遷移系関係用語

セミナー 用語法 多義語
  • アルファベット
  • アルファベットの要素： {アクション | 入力 | 刺激}?{ラベル | レター | 記号 | シンボル | 信号}、インストラクション{記号 | ラベル | ニモニック}?
  • 遷移、作用、実行
  • 遷移系、マシン、エンジン
  • 状態{空間 | 集合}
  • ムーブ、ムーブペア、ムーブトリプル、無音ムーブ〈サイレントムーブ | イプシロンムーブ〉
  • 状態遷移グラフ（集合ラベル付き有向グラフ）
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が中心。