Id: min.tex,v 1.3 2005/10/26 21:31:59 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: