生命システムを定式化する際，状態機械モデルで表現しているのかラムダ計算モデルで表現しているのかというのはかなり重要なんじゃないの？とかなんとか．まぁどっちで考えても問題ないんだけど，どっちで考えているのかを明確にしないと腐った理論になるよなー，とか．個人的には専ら後者で考えてる．