Tree stack automaton とは

ツリースタックオートマトン(複数:ツリースタックオートマトン)は、オートマトン理論で考慮されている形式論です。これは、ツリー状のスタックを操作する追加の機能を備えた有限状態オートマトンです。これは、記憶域がスレッドオートマトンの設定とおおよそ似ているオートマトンです。ツリースタックオートマトンの制限されたクラスは、複数の文脈自由文法(または線形文脈自由書換えシステム)によって生成される言語を正確に認識する。