m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 DFD グラフ理論 課題 遷移グラフは、局所一意な辺ラベル付き有向グラフ。辺ラベルは、重さ、色、属性、名前、電流、道のり、コストなど、なんでもよい。有向グラフの射は、決定性のグラフ射と非決定性のグラフ射の両方を導入して、オートマトンでも同じく決定性の射、非決定性の射を考える。バラバラな用語の対応を取る。 字（letter）、語、列（シーケンス）、ストリング、文、記号、基本記号、ラベル、アクション記号、アクション、信号、メッセージ、命令、コマンド、インストラクション letter, symbol, signal, message, command, instruction, action, 形容詞 basic, atom… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20151020%2F1445309912" 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-20 11:58:32 rich https://m-hiyama-memo.hatenablog.jp/entry/20151020/1445309912 1.0 100%