Эта функция перехода сообщает автомату, в какое состояние перейти в следующее состояние с учетом текущего состояния и текущего символа.
Диаграмма, на которой показаны все состояния и переходы такой машины, называется диаграммой конечных состояний.