ESCにおける線形オーバーヘッドでのカット除去

ESCにおける良い戦略を実装する環境ベースの抽象機械を設計し、その実行時間が入力サイズと戦略の長さに線形であることを示す。