https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Potenzautomat 2026-06-07T04:39:45Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Potenzautomat&diff=254506&oldid=prev 2025-06-18T20:00:26Z

<p>Belege fehlen</p> <p><b>Neue Seite</b></p><div>{{Belege fehlen}}<br /> Ein &#039;&#039;&#039;Potenzautomat&#039;&#039;&#039; ist ein Begriff der [[theoretische Informatik|theoretischen Informatik]].<br /> <br /> Man benutzt Potenzautomaten insbesondere als Hilfsmittel zur Transformation [[nichtdeterministischer endlicher Automat]]en in [[deterministischer endlicher Automat|deterministische endliche Automaten]]. In der Regel sind Potenzautomaten nicht minimal, das heißt, sie enthalten viele redundante oder nicht erreichbare Zustände. Sie bilden daher meist einen Zwischenschritt bei der Konstruktion deterministischer endlicher Automaten.<br /> <br /> == Definition ==<br /> <br /> Ein [[endlicher Automat]] A heißt Potenzautomat des endlichen Automaten B, wenn seine Zustandsmenge gerade die [[Potenzmenge]] der Zustandsmenge von B ist. Formal ausgedrückt:<br /> <br /> Seien &lt;math&gt;Z_A, Z_B&lt;/math&gt; die Zustandsmengen der Automaten A und B und sei A ein Potenzautomat von B. Dann ist<br /> &lt;math&gt;Z_A = \mathcal{P}(Z_B)&lt;/math&gt;.<br /> <br /> == Siehe auch ==<br /> * [[Potenzmengenkonstruktion]]<br /> <br /> [[Kategorie:Automatentheorie]]</div>

imported>Fan-vom-Wiki