vocabulary of (predicate)s 多様体 { 境界を許す広義多様体 境界を許さない狭義多様体 } context Extended for 多様体 { 多様体 := 境界を許す広義多様体 境界無し多様体 := 境界を許さない狭義多様体 境界有り多様体 := 境界を許す広義多様体 ∧ ￢境界を許…

descriptionモジュールとterminologyモジュールにするか。モジュール名・名前空間があるが、description〈desc〉とterminology〈term〉は異なる名前空間〈名前コンテンナ〉。 description TransitionSystem signture RightTransitionSystem within (C in Mon…

module TransitionSystem signture RightTransitionSystem within (C in MonCAT) { sort A sort S operation t: S×A → S } signature DetTransitionSystem := TransitionSystem within Set signature ParTransitionSystem := TransitionSystem within Partia…

指標による定義： module TransitionSystem 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 }…

vocabulary Panda { パンダ レッサーパンダ ジャイアントパンダ } context Now for Panda { パンダ := ジャイアントパンダ レッサーパンダ := レッサーパンダ _ := パンダ } context Old for Panda { パンダ := レッサーパンダ _ := ジャイアントパンダ _ :=…

アルファベット アルファベットの要素： {アクション | 入力 | 刺激}?{ラベル | レター | 記号 | シンボル | 信号}、インストラクション{記号 | ラベル | ニモニック}? 遷移、作用、実行 遷移系、マシン、エンジン 状態{空間 | 集合} ムーブ、ムーブペア、ム…