「Tree3の停止性の証明 第8章 Mのu1前後 N （2021/04/10)」
Tree3の停止性の証明 第8章 Mのu1前後 N
わおっふー。
だいぶ大掛かりな図が出てきましたね。^_^;
なぜここまでに
M → G → S → T → U
と。
色々なパーツを作って来たのか、
いよいよ意味が明かされようとしています。
・全てのU要素は、M内に先祖を持っている。
これでUとMをリンクできました。
めっっっっちゃ重要です。
なぜなら、Mだけは「全BSの中の最小シークエンス」と言う
スペシャルな特性を持っている。
特別なMには、守らなければいけない条件がいくつかあるので、
それを材料にして
矛盾を問い合わせる事ができます。