Reduzierte endliche Automaten

Reduzierte endliche Automaten

Ein reduzierter endlicher Automat ist erstens vereinfacht worden und außerdem sind zweitens alle Zustände paarweise verglichen nicht äquivalent zueinander – das heißt alle äquivalente Zustände wurden auch gestrichen.