временная машина с конечным числом состояний