効率的なグラフ認識のための有限オートマトン

有限オートマトンを用いてグラフ言語を効率的に認識する方法を示す。特に、非決定性を回避するための手法を提案する。