Welche Finite-State-Maschine erfasst binäre Zeichenfolgen mit der gleichen Anzahl von '01' und '10'?
Ich brauche Hilfe beim Entwerfen einer Zustandsmaschine, die Binärzeichenfolgen akzeptiert, die so viele Vorkommen des Musters enthalten01
als Vorkommen des Musters10
.
Ich habe Schwierigkeiten, genau zu verstehen, welche Zeichenfolgen akzeptiert und welche abgelehnt werden sollten.
Jede Anleitung wäre willkommen.