2006-08-01から1日間の記事一覧
どうも recursive仕様では Linearであることが重要な性質らしい。 EX4.4.1より であるregularなプロセスグラフと双模倣である[tex:]であるような linear recursive specification を与えよ。 答:[tex:E={] よくわからんが、直感的には[tex:s_0=,s_1=]と理解…
どうも recursive仕様では Linearであることが重要な性質らしい。 EX4.4.1より であるregularなプロセスグラフと双模倣である[tex:]であるような linear recursive specification を与えよ。 答:[tex:E={] よくわからんが、直感的には[tex:s_0=,s_1=]と理解…