Id: min.tex,v 1.1 2007-10-31 17:50:50 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: