next-state function

Мат. функция переходов (автомата)