Thus, in the formal definition, the next state is an element of the power set of the states, which is a set of states to be considered at once.
به عبارت دیگر , شرط اول میگوید که ماشین با q0 شروع به کار میکند.شرط دوم میگوید که ماشین هر کاراکتر رشته w را از حالت خود به حالت تابع Δ انتقال میدهد.