Что такое конечные автоматы и когда они полезны?

Question

Accepted Answer

**Конечный автомат** моделирует систему как конечный набор **состояний** плюс допустимые **переходы** между ними. Вместо того чтобы жонглировать независимыми булевыми флагами, вы точно определяете, какие состояния существуют и какие переходы разрешены — делая невозможные состояния нереализуемыми.

## Проблема: булевы флаги кишмя кишат

```js
// ❌ multiple booleans → 2^n combinations, many of them invalid
const [isLoading, setLoading] = useState(false);
const [isError, setError] = useState(false);
const [isSuccess, setSuccess] = useState(false);
// { isLoading: true, isError: true, isSuccess: true } — nonsense, but POSSIBLE
```

С независимыми флагами ничто не предотвратит противоречивые комбинации, и вы должны вручную поддерживать их согласованность при каждом переходе — это магнит для ошибок.

## Модель конечного автомата

```text
States:      idle → loading → success
                       ↓
                     error → (retry) → loading

Only defined transitions are allowed; you can't be in two states at once.
```

```js
const machine = {
  idle:    { FETCH: "loading" },
  loading: { SUCCESS: "success", ERROR: "error" },
  success: { FETCH: "loading" },
  error:   { RETRY: "loading" },
};
function transition(current, event) {
  return machine[current][event] ?? current; // only legal transitions happen
}
```

Одиночная переменная `state` хранит текущее состояние; `event` запускает *определённый* переход. Недопустимые переходы (например, SUCCESS в режиме ожидания) просто не могут произойти — невозможные состояния исчезают по дизайну.

## Инструментарий в реальном мире: XState

```js
// libraries like XState formalize this with guards, actions, nested/parallel states
const toggleMachine = createMachine({
  initial: "inactive",
  states: {
    inactive: { on: { TOGGLE: "active" } },
    active:   { on: { TOGGLE: "inactive" } },
  },
});
```

## Когда конечные автоматы помогают

```text
✓ Complex flows with many states: checkout, multi-step forms/wizards, media players
✓ Authentication flows (logged out → logging in → logged in → refreshing)
✓ Anything where invalid state combinations cause bugs
✗ Overkill for simple toggles or trivial state
```

## Почему это важно

Конечные автоматы придают строгость сложной логике с состояниями, делая **невалидные состояния невозможными** и переходы **явными** — заменяя хрупкие комбинации булевых флагов на чёткую, исчерпывающую модель.

Они особенно ценны для сложных потоков (мастера, платежи, аутентификация, медиа), где булевы флаги приводят к тонким, трудно воспроизводимым ошибкам.

Даже неформально (enum `status`) эта идея улучшает асинхронное состояние; формально (XState) она обеспечивает визуализируемую, тестируемую, надёжную логику.

Знание о том, когда к ним обращаться, — признак зрелого проектирования состояний.