Direkt zum Inhalt

Illustration DEA - Anzahl an a's und b's haben gleichen Rest bei Division durch 3

<span>DEA - Anzahl an a's und b's haben gleichen Rest bei Division durch 3</span>
Anzahl a's und b's haben gleichen Rest bei Division durch 3 - DEA
Download

Teilen — es ist erlaubt die Illustration zu vervielfältigen und weiterzuverbreiten

Bearbeiten — es ist erlaubt die Illustration zu verändern und darauf aufzubauen und zwar für beliebige Zwecke, sogar kommerziell.

Teilen und Bearbeiten der Illustration ist mit Angabe des Links zur Illustration erlaubt.

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, ~... \} $$