富田横森演習2-4
到達可能性(有限オートマトン)の判定アルゴリズムを証明する