AtoCC

Übungsaufgaben NEA

Diese Aufgaben können mit AutoEdit oder auf dem Papier bearbeitet werden. Die hier angegebenenen AutoEdit-Lösungen können mit "Ziel speichern unter..." gespeichert werden.

Aufgabe 1

Geben Sie einen NEA A an, der die Sprache
```
L = {w | w Î {a,b)^* und (w enthält das Teilwort aba)}
```
akzeptiert. [Lösung]
Geben Sie einen DEA A' an, der zu A äquivalent ist. [Lösung]

Aufgabe 2

Prüfen Sie, ob die folgenden Sprachen regulär sind:

```
L = {aⁱb^jc^k | i,j,k Î N},
```
```
L = {a²ⁿ | n Î N},
```
```
L = {ww | w Î {0,1}^*}.
```

Beweisen Sie Ihre Aussagen!

Aufgabe 3

Bestimmen Sie zu dem in nachfolgender Abbildung dargestellten Automaten A einen Minimalautomaten A_MIN.