Illustration Anzahl a und b haben gleichen Rest bei Division durch 3 - DEA
Download
- Vektorgrafik (SVG) perfekt für webseiten download
- Pixelgrafik (PNG) perfekt für präsentationen download
Teilen — es ist erlaubt die Illustration vervielfältigen und weiterverbreiten
Bearbeiten — es ist erlaubt die Illustration zu verändern und darauf aufzubauen und zwar für beliebige Zwecke, sogar kommerziell.
Diese Illustration ist kostenlos mit Angabe des Copyrights: universaldenker.org
Skizze eines deterministischen endlichen Automaten (DEA) für die folgende reguläre Sprache (Typ 3):\[ L = \{ w \in \{a,b\}^* ~:~ |w|_a \equiv |w|_b \text{ mod } 3 \} \]
Das ist eine unendliche Sprache, bei denen \(|w|_a\) (Anzahl der a' im Wort \(w\)) und \(|w|_b\) (Anzahl der b's im Wort \(w\)) beide den gleichen Rest ergeben, wenn \(|w|_a\) und \(|w|_b\) durch zwei geteilt werden:\[ L = \{ \varepsilon, aaa, bbb, aabb, aabbba, ~... \} \]
