Граф переходов: основы конечных автоматов