ロボットを角に追い込んでDFAを同期化する

DFAを同期化するための一般的な戦略である「角追い込み戦略」を定義し、この戦略を使って様々なクラスのDFAが同期化可能であることを示した。