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 ...

01.03.2014 Aufrufe

Kapitel 0: Grundbegriffe Alphabete / Zeichenketten / Sprachen u Sprachen / Wörter • Jede Menge L ⊆ Σ* ist eine (/* formale */) Sprache. • Die Elemente einer Sprache nennt man Wörter. ... mit solchen Sprachen werden wir uns in der ganzen Vorlesung intensiv beschäftigen ... uns interessieren formale Sprachen, weil sie für Informatiker wichtig sind und „sehr einfache“ und „recht anschauliche“ Objekte sind (/* ... und man an allen Aspekten, die aus Sicht der Theoretischen Informatik relevant sind, vorbeikommt, wenn man sich mit ihnen beschäftigt */) ... wir kümmern uns um unterschiedliche Möglichkeiten, formale Sprachen zu beschreiben, und diskutieren, ob und wie effizient man bestimmte (Klassen) von formalen Sprachen algorithmisch in den Griff bekommen kann 0/2, Folie 8 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik

Kapitel 0: Grundbegriffe Alphabete / Zeichenketten / Sprachen u Aspekt „formale Sprachen sind für Informatiker wichtig“ (Teil 1) • die Menge aller „Quelltexte“ für Programme in einer von ihnen gewählten Programmiersprache, die sich mit einem Compiler für diese Programmsprache übersetzen lassen, bilden eine formale Sprache • die Menge aller „Quelltexte“ für Dokumente, die von einem der üblichen Internet-Browser dargestellt werden können, bilden eine formale Sprache • alle „Quelltexte“ für Dokumente, die sie mit einem herkömmlichen Textverarbeitungssystem verarbeiten können, bilden eine formale Sprache • ... 0/2, Folie 9 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik

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

Alphabete / Zeichenketten / Sprachen<br />

u Sprachen / Wörter<br />

• Jede Menge L ⊆ Σ* ist eine (/* formale */) Sprache.<br />

• Die Elemente einer Sprache nennt man Wörter.<br />

... mit solchen Sprachen werden wir uns in der ganzen Vorlesung intensiv<br />

beschäftigen<br />

... uns interessieren formale Sprachen, weil sie für Informatiker wichtig<br />

sind und „sehr einfache“ und „recht anschauliche“ Objekte sind (/* ... und<br />

man an allen Aspekten, die aus Sicht der Theoretischen Informatik<br />

relevant sind, vorbeikommt, wenn man sich mit ihnen beschäftigt */)<br />

... wir kümmern uns um unterschiedliche Möglichkeiten, formale Sprachen<br />

zu beschreiben, und diskutieren, ob und wie effizient man bestimmte<br />

(Klassen) von formalen Sprachen algorithmisch in den Griff bekommen<br />

kann<br />

0/2, Folie 8 © 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!