In theory, calculations, etc. absence of an finite or non-determination of the finite or stack, or N F (Nondeterministic finite automaton - NFA) to that is about it, for some of the dual mode and a symbol input, the possibility of passing to more from a new mode has been allowed.