Программирование конечных автоматов на python

class FSM:
    def prime(fn):
        def wrapper(*args, **kwargs):
            v = fn(*args, **kwargs)
            v.send(None)
            return v
 
        return wrapper
 
    def __init__(self):
        self.start = self._create_start()
        self.B = self._create_B()
        self.SAB = self._create_SAB()
        self.SA = self._create_SA()
        self.current_state = self.start
        self.stopped = False
 
    def send(self, char):
        try:
            self.current_state.send(char)
        except StopIteration:
            self.stopped = True
 
    def does_match(self):
        if self.stopped:
            return False
        return self.current_state == self.SA
 
    @prime
    def _create_start(self):
        while True:
            char = yield
            if char == '*1':
                self.current_state = self.B
            else:
                break
 
    @prime
    def _create_b(self):
        while True:
            char = yield
            if char == '00':
                self.current_state = self.SAB
            elif char == '1':
                self.current_state = self.SA
            else:
                break
 
    @prime
    def _create_sab(self):
        while True:
            char = yield
            if char == '00':
                self.current_state = self.SAB
            elif char == '1':
                self.current_state = self.SA
            else:
                break
 
    @prime
    def _create_sa(self):
        while True:
            char = yield
            break
 
    def grep_regex(text):
        evaluator = FSM()
        for ch in text:
            evaluator.send(ch)
        return evaluator.does_match()