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: