このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2012-10-29から1日間の記事一覧

ラベル付き遷移系の並列結合(並列じゃないな)

X = (S, L, δ) は「状態空間がSでラベル集合がLで遷移関係がδであるラベル付き遷移系とする。A, B を集合だとして、i:A→L、j:B→L は埋め込み。この2つの埋め込みを一緒にしたX = (S, L, δ, i, j) を射と考えて、X:A→B (S) とする。ホムセットは Hom(S; A, B)…