まず、有限状態オートマトンはOK?