今日の一行(お題修正)リストのフラット化。 定義から、 言語S 式 ::= '0' | '(' 並び ')' 言語T 式 ::= '0' | '1' | 並び 修正部分から、 言語Ｓでは，'(' '(' 並び ')' 式 ')' と '(' 並び 式 ')' を同一視してよい． なので [1] (0 (0 0)) = (0 (0 0)) [2]…