シフト解決解析-質問
私は最近、タイトルで言及されている解析手法を説明する論文に出くわしました。残念ながら、上記の論文で使用されている用語は、私の理解をいくらか超えているため、構築アルゴリズムをより直感的に把握するように努めています。私は成功したと思います（このプレゼンテーションはah-haモーメントのソースでした）が、このテクニックに慣れている人またはそこに含まれる用語のどちらかからの正しさの検証は非常にありがたいです。 ソリューションに対する私の見方を説明し（それが正しい場合は、この手法を理解しようとしている他の人々の助けになると思います）、後で追加の質問をします。：何の誤解がありません確実にするために、私は次の標準表記法を使用するつもりだ、B 、Cを、。。。∈ T、A 、B 、C 、。。。∈ N、、と、紙のようにはルール番号を示しますA 、B 、C 、。。。∈ Ta,b,c,...∈Ta, b, c, ... \in TA 、B 、C、。。。∈ NA,B,C,...∈NA, B, C, ... \in Nα 、β 、γ 、。。。∈ { N ∪ T } * A I → ω I。。。バツ、Y、Z∈ N∪ T...X,Y,Z∈N∪T... X, Y, Z \in N \cup Tα 、β、γ、。。。∈ { …