Что хотят услышать интервьюеры:

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

Определение:

Конечный автомат — это абстрактная модель, состоящая из набора состояний, входных событий и правил перехода между состояниями. Система обрабатывает вход и меняет состояние только по заранее определенным переходам. Если перехода для события из текущего состояния нет, поведение считается либо запрещенным, либо отдельно обработанным.

На практике чаще всего встречается конечный автомат с конечным числом состояний и переходов. Он помогает формализовать поведение системы, чтобы его было проще реализовать, тестировать и поддерживать.

Пример использования:

Простой пример — жизненный цикл заказа в интернет-магазине: new -> paid -> shipped -> delivered, а при отмене часть переходов может быть запрещена. Такой подход убирает хаотичные if-проверки и делает логику прозрачной.

class OrderStateMachine:
    def __init__(self):
        self.state = "new"

    def on_event(self, event):
        transitions = {
            "new": {
                "pay": "paid",
                "cancel": "cancelled",
            },
            "paid": {
                "ship": "shipped",
                "cancel": "cancelled",
            },
            "shipped": {
                "deliver": "delivered",
            },
        }

        if event not in transitions.get(self.state, {}):
            raise ValueError(f"Недопустимое событие {event} в состоянии {self.state}")

        self.state = transitions[self.state][event]


order = OrderStateMachine()
order.on_event("pay")
order.on_event("ship")
print(order.state)  # shipped

Пояснение кода:

Код не требует сложной архитектуры: это обычный класс, который хранит текущее состояние в self.state. Словарь transitions описывает, какие события разрешены из каждого состояния и в какое состояние нужно перейти. Метод on_event проверяет, есть ли допустимый переход для текущего состояния, и либо обновляет состояние, либо выбрасывает ошибку.

По шагам:

Объект создается в состоянии "new".
Вызов pay переводит заказ в "paid".
Вызов ship переводит его в "shipped".
Если попытаться, например, вызвать deliver из "paid", будет ошибка, потому что переход не определен.

Ключевые моменты:

Конечный автомат описывает поведение через состояния и переходы между ними.
Он полезен там, где важна последовательность действий: протоколы, обработка событий, workflow, UI.
Явное описание переходов уменьшает количество сложных if/else и снижает риск ошибок.
Автомат проще тестировать: можно проверять допустимые и недопустимые переходы отдельно.
В реальных системах часто используют как явные state machine, так и более простые табличные модели переходов.
Главная ценность — предсказуемость поведения и понятная модель состояния системы.

Можете объяснить концепцию конечных автоматов и как они используются в программировании или моделировании систем?