Зачем агенту state machine: LangGraph StateGraph, XState — и как заменить «open loop» на explicit control flow?

State machine заменяет «open loop» ReAct (LLM сама решает что делать дальше) на явную декларацию states + transitions. LLM используется внутри nodes, не для control flow. Преимущества: determinism (transitions = pure code), resumability (state persistable через checkpointer → агент возобновляется после crash / HITL approval), observability (каждый transition logged), testability (unit-test states с mocked LLM), replay for debugging. Frameworks: LangGraph (Python, де-факто стандарт), XState (TypeScript, visual machine).