2006-08-03から1日間の記事一覧
recursive specification(RS)においては[tex:]がノードの 代わりになるというだったが、プロセスグラフも書ける。 遷移を見つけるのが肝の場合には なので [tex:a \stackrel{a}{\rightarrow} ]になって 結局[tex:\stackrel{a}{\rightarrow}]になる というこ…
recursive specification(RS)においては[tex:]がノードの 代わりになるというだったが、プロセスグラフも書ける。 遷移を見つけるのが肝の場合には なので [tex:a \stackrel{a}{\rightarrow} ]になって 結局[tex:\stackrel{a}{\rightarrow}]になる というこ…