确定的有穷自动机的代码实现

确定的有穷自动机（Deterministic Finite Automaton，简称DFA）是一种识别正则语言的自动机模型，它由一组状态、一个起始状态、一组接受状态以及一个转移函数组成。在代码实现时，DFA可以通过几种不同的方式来表达，例如使用状态转移表或者直接使用类和对象。

以下是使用类和对象来实现确定的有穷自动机的一个简单示例，假设我们实现的是识别仅包含'a'和'b'的字符串，且要求字符串以'b'结尾的DFA：

class DFA:
    def __init__(self, start_state, accept_states, transitions):
        self.start_state = start_state
        self.accept_states = set(accept_states)
        self.transitions = transitions
        self.current_state = None

    def reset(self):
        self.current_state = self.start_state

    def read_character(self, char):
        if self.current_state in self.transitions:
            if char in self.transitions[self.current_state]:
                self.current_state = self.transitions[self.current_state][char]
            else:
                # 如果当前状态在字符下没有转移，则自动机停止工作
                self.reset()
        else:
            # 如果没有起始状态，则自动机停止工作
            self.reset()

    def is_accepting(self):
        return self.current_state in self.accept_states

# 构建DFA
transitions = {
    'q0': {'a': 'q0', 'b': 'q1'},  # q0是起始状态
    'q1': {'a': 'q0', 'b': 'q1'},  # q1是接受状态
}
start_state = 'q0'
accept_states = ['q1']

# 实例化DFA并测试字符串
dfa = DFA(start_state, accept_states, transitions)
dfa.reset()

test_string = 'abbb'
for char in test_string:
    dfa.read_character(char)

print(dfa.is_accepting())  # 应该输出True，因为字符串以'b'结尾