入力位置 "k" における状態集合をs("k")と呼ぶ。