m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 DFD まとめ なんらかの意味でオートマトンの圏があるとき、次の操作がある。 オートマトンの最小化、最適化、正規化などと呼ばれる操作 「観測可能な振る舞い」という概念があり、オートマトンにその観測可能な振る舞いを対応させる操作 指定された振る舞いを実際に行うオートマトンを構成する操作 これらは関手で、次のように書ける。 B:Aut→Beh 振る舞い関手、観測関手、くどい言い方では振る舞い観測関手 N:Aut→Aut 最小化関手、正規化関手、ネロード関手、くどい言い方ではネロード正規化関手 R:Beh→Aut 実現関手 関手Nの像であるAutの部分圏をMinとする。 関手Nはベキ等である。 J:Min→Aut … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20151026%2F1445844076" title="ネロード正規化関手、振る舞い観測関手、実現関手 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-10-26 16:21:16 rich https://m-hiyama-memo.hatenablog.jp/entry/20151026/1445844076 1.0 100%