山口先生、２年前先生が書いた非決定性ＴＭの定義です。

非決定性分岐命令の後に、それぞれの分岐先でテープ内容をが独立に記述
されても良いのか、共有しなければならないのか、山口先生が知らないか
のように書かれています。
少なくとも２年前は、学部３年生に負ける知識であったことはもう間違い
無く明らかなのですが。
少なくとも今では、この辺のことはちゃんと理解されましたか？
このスレで騒いでいる連中は、山口先生がこんなところで悩む前から、こ
の答え知っているんですけどね・・・・・・

====抜粋====
>しかるに、非決定性ＴＭの場合にも使用テープは一本。
>これが定義。
>この一本のテープ上に、如何にして、分岐結果を表示するか？

・・・中略・・・

>要点を一言で言えばです、
>【分岐毎にテープを増やすのか増やさないのか？
>一本で行くなら、どうやって分岐表示をするのか？
>分岐表示をしない場合、非決定性ＴＭでの計算の定義は？】