展示确定有限状态自动机伪代码

以下是一个简单的确定有限状态自动机的伪代码：

// 定义状态
states = {S0, S1, S2, S3}

// 定义输入字符集合
inputs = {0, 1}

// 定义初始状态
start_state = S0

// 定义接受状态
accept_states = {S2}

// 定义状态转移函数
transition_function = {
    (S0, 0) -> S1,
    (S0, 1) -> S0,
    (S1, 0) -> S2,
    (S1, 1) -> S3,
    (S2, 0) -> S2,
    (S2, 1) -> S2,
    (S3, 0) -> S3,
    (S3, 1) -> S2
}

// 定义处理输入的函数
def process_input(input_string):
    # 初始状态为起始状态
    current_state = start_state

    # 处理输入字符串的每个字符
    for char in input_string:
        # 获取下一个状态
        next_state = transition_function[(current_state, char)]

        # 更新当前状态
        current_state = next_state

    # 如果最终状态是接受状态，则输入字符串被接受
    if current_state in accept_states:
        print("Input string is accepted")
    else:
        print("Input string is rejected")

以上代码演示了一个简单的DFA，它接受以0开头、后跟任意数量的1的字符串。