Direkt zum Inhalt

Illustration DEA - Längendifferenz teilbar durch 4 mit Rest 3

DEA - Längendifferenz teilbar durch 4 mit Rest 3
DEA - Längendifferenz teilbar durch 4 mit Rest 3
Illustration herunterladen

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 - |w|_b) ~\text{mod}~ 4 = 3 \} $$

Das ist eine unendliche Sprache mit beispielsweise folgenden Wörtern \(w\):$$ L ~=~ \{b, aaa, abb, bab, bba,~... \} $$

Dieser Automat akzeptiert alle Wörter \(w\), bei denen die Längendifferenz \( |w|_a - |w|_b\) der \(a\)- und \(b\)-Zeichen durch vier teilbar ist mit Rest drei.