そしてこの新しい状態が文のformula_11番目のトークンまでを表現する。