C语言 模拟一个DFA的执行

以下是一个简单的C语言程序，用于模拟DFA的执行：

#include <stdio.h>

// 定义DFA的状态和输入字符的枚举类型
typedef enum {
    STATE_A,
    STATE_B,
    STATE_C,
    STATE_D
} State;

typedef enum {
    INPUT_0,
    INPUT_1
} Input;

// DFA的状态转移函数
State transition_function(State current_state, Input input) {
    switch (current_state) {
        case STATE_A:
            if (input == INPUT_0) {
                return STATE_A;
            } else {
                return STATE_B;
            }
        case STATE_B:
            if (input == INPUT_0) {
                return STATE_C;
            } else {
                return STATE_A;
            }
        case STATE_C:
            if (input == INPUT_0) {
                return STATE_D;
            } else {
                return STATE_B;
            }
        case STATE_D:
            if (input == INPUT_0) {
                return STATE_A;
            } else {
                return STATE_C;
            }
        default:
            return STATE_A;
    }
}

int main() {
    // 初始化DFA的当前状态和输入字符串
    State current_state = STATE_A;
    Input input_string[] = {INPUT_1, INPUT_0, INPUT_1, INPUT_1, INPUT_0, INPUT_0, INPUT_1, INPUT_0, INPUT_1, INPUT_1, INPUT_0, INPUT_1, INPUT_0, INPUT_0};

    // 逐个输入字符并执行状态转移
    for (int i = 0; i < sizeof(input_string) / sizeof(input_string[0]); i++) {
        current_state = transition_function(current_state, input_string[i]);
    }

    // 输出最终状态
    printf("Final state: %d\n", current_state);

    return 0;
}

以上程序模拟了一个简单的DFA，该DFA接受由0和1组成的字符串，其中每个1必须紧随一个0后面。程序中定义了DFA的状态和输入字符的枚举类型，并实现了状态转移函数。在主函数中，程序初始化DFA的当前状态和输入字符串，然后逐个输入字符并执行状态转移，最后输出最终状态。