Id: min.tex,v 1.2 2004/12/14 12:36:40 waldmann Exp
Idee: Zustände zusammenlegen, die ,,das gleiche`` tun.
Das ,,gleich`` muß man aber passend definieren:
benutze Folge von Äquivalenz-Relationen
,
,... auf Q
p q
Zustände p und q verhalten sich
für alle Eingaben der Länge
k beobachtbar gleich:
äquivalent ist induktive Definition: