Animotion

$$ L(A) = \{w \epsilon \Sigma* \, | \, w \; \text{enthält 00}\} $$

A = (Q, Σ, δ, q₀, F)
Q = { q0, q1, q2, q3, q4 } Σ = { 0, 1 } q₀ = q0 F = { q4 }

δ(q, σ)	0	1
q0	q1	q2
q1	q4	q2
q2	q3	q2
q3	q4	q0
q4	q4	q4

Beim Partitionierungslgorithmus teilen wir die Zustände in Partitionen auf. Diese Partitionen werden dann schrittweise durch Testen mit Symbolen weiter aufgeteilt.

Quellen

https://martin-thoma.com/minimierung-eines-automaten-mittels-aquivalenzklassenkonstruktion
https://www.tcs.ifi.lmu.de/lehre/ss-2023/fsk_de/14-dfa-minimierung.pdf
https://www.informatik.uni-bremen.de/agbs/lehre/ss05/pi2/hintergrund/minimize_dfa.pdf