This machine, however, will never need to backtrack, and hence is a DFA.
این مدل نیازی به پیمایش معکوس ندارد و از این جهت یک DFA است.