k-Äquivalente Zustände eines endlichen Automaten

Endliche Automaten: k-Äquivalente Zustände

Man unterscheidet unter 0,1,2,… äquivalenten Zuständen à k-äquivalenten Zuständen, wobei die Zahl k angibt, wie lange die Wörter maximal sein dürfen, is die Zustände nichtmehr äquivalent sind.

k-Äquivalente Zustände sind also bis zu einer bestimmten Wortlänge k äquivalent, danach nichtmehr.