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 Partial
signature NonDetTransitionSystem := TransitionSystem within NonDet
continue
terminology TansitionSystem
vocabulary TransitionSystem for module TransitionSystem {
RightTransitionSystem
RightTransitionSystem.A
RightTransitionSystem.S
RightTransitionSystem.t
DetTransitionSystem
ParTransitionSystem
NonDetTransitionSystem
}
context StdAlias for vocabulary TransitionSystem {
TransitionSystem := RightTransitionSystem
TransitionSystem.alphabet := RightTransitionSystem.A
TransitionSystem.state-space := RightTransitionSystem.S
TransitionSystem.right-transition := RightTransitionSystem.t
TransitionSystem.transition := RightTransitionSystem.t
}
context 日本語標準 for context StdAlias {
遷移系 := TransitionSystem
遷移系のアルファベット := TransitionSystem.alphabet
遷移系の状態空間 := TransitionSystem.state-space
遷移系の右遷移 := TransitionSystem.right-transition
遷移系の遷移 := TransitionSystem.transition
}
continue
module TransitionSystem
signture TransitionSystemMisc extends TransitionSystem within (C in CartCat) {
operation a: 1 → A
operation s: 1 → S
}
end
terminology TransitionSystem
vocabulary TransitionSystemMisc for module TransitionSystem {
action-label := TransitionSystemMisc.a
state-point := TransitionSystemMisc.s
}
context 日本語追加 for vocabulary TransitionSystemMisc {
アクションラベル := action-label
状態点 := state-point
}
context 日本語別名-1 for context 日本語標準 {
{状態}?{遷移}?{マシン | エンジン} := 遷移系
{遷移系 | {状態}?{遷移}?{マシン | エンジン}}の{実行 | 作用} := 遷移系の遷移
}
context 日本語別名-2 for context 日本語追加 {
{{アクション | 入力 | 刺激}?{ラベル | レター | 記号 | シンボル | 信号} | インストラクション{記号 | ラベル | ニモニック}? := アクションラベル
状態 := 状態点
}
end