einführung in die theoretische informatik 0. organisatorisches und ...
einführung in die theoretische informatik 0. organisatorisches und ...
einführung in die theoretische informatik 0. organisatorisches und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Formale Sprache: Ziele (Fortsetzung)<br />
Von beliebigen Chomsky-Grammatiken erzeugte Sprachen s<strong>in</strong>d<br />
aufzählbar aber i.a. nicht entscheidbar (d.h. das Wortproblem ist<br />
algorithmisch nicht lösbar).<br />
Man betrachtet daher spezielle Typen von Chomsky-Grammatiken,<br />
bei denen <strong>die</strong> Gestalt der Regeln e<strong>in</strong>geschränkt ist.<br />
→ kontextsensitive, kontextfreie, l<strong>in</strong>eare, rechtsl<strong>in</strong>eare (=reguläre)<br />
Grammatiken <strong>und</strong> Sprachen (Chomsky-Hierarchie)<br />
Zur algorithmischen Analyse der korrespon<strong>die</strong>renden Sprachen führt<br />
man auch geeignete Masch<strong>in</strong>e (Automaten) e<strong>in</strong>, <strong>die</strong> das Wortproblem<br />
der Sprachen e<strong>in</strong>es gegebenen Typs lösen können.<br />
→ Tur<strong>in</strong>gmasch<strong>in</strong>en, l<strong>in</strong>ear beschränkte Automaten,<br />
Push-Down-Automaten, endliche Automaten (Automatentheorie)<br />
Theoretische Informatik (SoSe 2011) <strong>0.</strong> Organisatorisches <strong>und</strong> Überblick 14 / 16