update

Writerside/topics/04/ti_hausaufgabe2.md

@@ -318,4 +318,39 @@ q2 --> q1 : b
 
 #### Begründung (c)
 - q0 wird genau dann erreicht, wenn $\#_a ≡ \#_b mod 3$
-- Übergänge sind konsistent
+- Übergänge sind konsistent
+
+## Übung 4
+Betrachten Sie die Sprache $L = \{ w ∈ \{ 0, 1 \}^* \space|\space \#_1(w) = 3 \}$. Beschreiben Sie einen
+Automaten in der Graphdarstellung, der die Sprache $L$ akzeptiert, und beweisen Sie die
+Korrektheit Ihrer Konstruktion.
+
+```plantuml
+@startuml
+left to right direction
+skinparam dpi 150
+
+skinparam state {
+    BackgroundColor #FFFACD
+    BorderColor black
+    FontName Helvetica
+    RoundCorner 30
+    Shadowing false
+    LineThickness 0
+} 
+
+state q3##[bold]
+
+
+[*] --> q0
+q0 --> q1 : 1
+q0 --> q0 : 0
+q1 --> q2 : 1
+q1 --> q1 : 0
+q2 --> q3 : 1
+q2 --> q2 : 0
+q3 --> q3 : 0
+q3 --> q4 : 1
+q4 --> q4 : 0,1
+@enduml
+```