Ein Potenzautomat ist ein Begriff der theoretischen Informatik. Man benutzt Potenzautomaten insbesondere als Hilfsmittel zur Transformation nichtdeterministischer endlicher Automaten in deterministische endliche Automaten. In der Regel sind Potenzautomaten nicht minimal, das heißt sie enthalten viele redundante oder nicht erreichbare Zustände. S...