Up
2 文の変形
2.1 文変形システム
2.2 “シェマ変形規則に従う文変形”の概要
2.3 シェマシステム
2.3.1 シェマシステム
2.3.2 “代入”の定式化
2.3.3 シェマ
2.3.4 “記号列の直接代入”
2.3.5 原初的代入規則
2.3.6 シェマシステムの定義
2.4 文変形システム
2.4.1 文変形システム
2.4.2 変形
2.4.3 計算
2.5 文生成変形システム
2.6 文生成変形システムの例｢｢二進数の加算
2.6.1 変形としての加算
2.6.2 変形の例
2.7 文生成変形システムの間の関係
2.7.1 文生成変形システムの同型
2.7.2 文生成変形システムの強弱
2.7.3 文生成変形システムの部分