Python-Code

# Die Aufgabenstellung erinnerte mich sofort an klassische deterministische endliche Automaten.
# Daher habe ich hier für diese Aufgabe einen etwas ungewöhnlichen Lösungsweg gewählt.
# Die Klasse DFA implementiert ein Modell für beliebige deterministische endliche Automaten.
# Die Spezifizierung erfolgt durch das 5-Tupel Zustände (list), Alphabet (list),
# Übergangsfunktion als Tabelle (2d list), Startzustand (str) und akzeptierende Endzustände (list).

# Eine graphische Darstellung des Automaten für die konkrete Aufgabenstellung habe ich als Anhang beigefügt.


# Deterministic Finite Automaton
class DFA:
    def __init__(self, S, A, d, s0, F):
        self.states = S
        self.alphabet = A
        self.transition_table = d
        self.start_state = s0
        self.final_states = F

    def delta(self, state, word):
        return self.transition_table[self.states.index(state)][self.alphabet.index(word)]

    def delta_circumflex(self, state, word_list):
        if not word_list:
            return state
        else:
            return self.delta(self.delta_circumflex(state, word_list[:-1]), word_list[-1])

    def run(self, words):
        return self.delta_circumflex(self.start_state, [word for word in words]) in self.final_states


# automaton to solve the problem
states = ["s0", "s1", "s2", "s3"]
alphabet = ["0", "1"]
transition_table = [["s0", "s1"],
                     ["s2", "s1"],
                     ["s2", "s3"],
                     ["s3", "s3"]]
start_state = "s0"
final_states = ["s1", "s2"]


# Test

automaton = DFA(states, alphabet, transition_table, start_state, final_states)

test_data = ["1100", "1010", "00111000", "10000001"]

for element in test_data:
    print(automaton.run(element))