オートマトン理論では、スレッドオートマトン（複数形：オートマトン）は、木に隣接する言語の上に軽度の文脈依存言語クラスを認識する拡張型の有限状態オートマトンである。