01.03.2014 Aufrufe

Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

<strong>Kapitel</strong> 0: <strong>Grundbegriffe</strong><br />

Alphabete / Zeichenketten / Sprachen<br />

u Menge aller Zeichenketten (/* formal; induktive Definition */)<br />

• es sei Σ das zugrunde liegende Alphabet<br />

• wir definieren für alle n ∈ N die Menge Σ n wie folgt:<br />

Induktionsanfang: Σ 0 = { ε }<br />

Induktionsschritt: Σ n+1 = { x°w | x ∈ Σ und w ∈ Σ n }<br />

(/* = { w°x | w ∈ Σ n und x ∈ Σ } */)<br />

• ... und verwenden Σ* als Abkürzung für:<br />

Σ* = ∪ Σ i (/* = Σ 0 ∪ Σ 1 ∪ Σ 2 ∪ ... */)<br />

i ∈ N<br />

... Σ* enthält alle Zeichenketten, die aufgrund von<br />

endlich vielen Anwendung des Induktionsschrittes<br />

aus den Zeichenkette in Σ 0 gebildet werden können<br />

0/2, Folie 5 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!