抄録
ツリーオートマトンの包含問題は計算量が指数時間になることが知られている．この問題に対し，実際的ケースの速度を考慮したトップダウン包含判定アルゴリズムというものが提案されている．この方式は，計算過程の記録を保持することで停止性の保証を実現しているが，バックトラックがあり，同一計算を反復する可能性が高く，また，最悪時の計算量は二重指数時間である．そこで，バックトラックを解消し，同一計算の反復を阻止できるアルゴリズムを提案する．そして，そのアルゴリズムの正当性と計算量が指数時間で抑えられることを示す．提案するアルゴリズムでは，既存のアルゴリズムをベースに，計算過程から抽出する情報を増やす．そして，その情報を分類し，そこへ関係を導入することによって，バックトラックをなくす．
