有限状态机（FSM）详解：概念、应用场景及 Java 实现示例

有限状态机（Finite-state machine，简称 FSM）是一种数学模型，用于描述系统的行为，特别是在系统的行为是由一系列离散的状态和状态转移组成的情况下。它可以用于建模和解决各种问题，例如编译器设计、自动机器人、网络协议分析等。

在有限状态机中，系统的行为由一组状态和状态之间的转移规则来定义。每个状态代表系统的一个特定状态，而状态之间的转移规则表示在给定输入条件下，系统如何从一个状态转移到另一个状态。有限状态机可以分为确定性有限状态机（Deterministic Finite-state Machine，简称 DFA）和非确定性有限状态机（Non-deterministic Finite-state Machine，简称 NFA）。

下面是一个用 Java 实现的简单有限状态机的示例：

public class FiniteStateMachine {
    private State currentState;

    public FiniteStateMachine() {
        // 初始化有限状态机，设定初始状态
        currentState = State.INITIAL;
    }

    public void processInput(Input input) {
        // 根据当前状态和输入，执行状态转移
        State nextState = getNextState(currentState, input);

        if (nextState != null) {
            // 更新当前状态
            currentState = nextState;
            System.out.println('Transition: ' + currentState);
        } else {
            System.out.println('Invalid input: ' + input);
        }
    }

    private State getNextState(State currentState, Input input) {
        // 根据当前状态和输入，返回下一个状态
        switch (currentState) {
            case INITIAL:
                if (input == Input.A) {
                    return State.STATE_A;
                } else if (input == Input.B) {
                    return State.STATE_B;
                }
                break;
            case STATE_A:
                if (input == Input.B) {
                    return State.STATE_B;
                }
                break;
            case STATE_B:
                if (input == Input.A) {
                    return State.STATE_A;
                }
                break;
        }
        return null; // 无效的状态转移
    }

    public static void main(String[] args) {
        FiniteStateMachine fsm = new FiniteStateMachine();
        fsm.processInput(Input.A);
        fsm.processInput(Input.B);
        fsm.processInput(Input.A);
        fsm.processInput(Input.C); // 无效的输入
    }
}

// 状态枚举
enum State {
    INITIAL,
    STATE_A,
    STATE_B
}

// 输入枚举
enum Input {
    A,
    B,
    C
}

这个示例中，有限状态机包含三个状态：INITIAL、STATE_A 和 STATE_B。根据输入的不同，有限状态机会根据当前状态和输入执行状态转移。在 processInput 方法中，会根据当前状态和输入获取下一个状态，并更新当前状态。在 getNextState 方法中，根据不同的当前状态和输入，返回下一个状态。最后，通过调用 main 方法，可以模拟输入一系列的输入，并观察状态转移的过程。