モルフの中にさらにサブモルフを追加する際。レイアウトを指定するとサブモフルを自動整列させる事が出来る。自動整列の仕方を決めるにはレイアウトを作成する。シンプルな例 'From Squeak3.5 of ''11 April 2003'' [latest update: #5180] on 27 July 2003 …

有限オートマトンで作った奇数判定機 『オートマトン・言語理論の基礎』米田政明監修 p38 a-> q0 q1(受理) Q = {q0, q1} Σ = {a} δ = {q0 x a -> q1 q1 x a -> q2} F = {q1} このような表記法がメチャクチャ嫌いではあるので、Haskell で表現してみる。 data…