2006-08-01 Linear recursive specification 研究 主テーマ どうも recursive仕様では Linearであることが重要な性質らしい。 EX4.4.1より であるregularなプロセスグラフと双模倣である[tex:]であるような linear recursive specification を与えよ。 答:[tex:E={] よくわからんが、直感的には[tex:s_0=,s_1=]と理解すればよかんべ。やっと普通のfsmが定義できる。。むう