Prof. Carsten Lutz/Dr. Stefan G¨oller Sommersemester 2013
Volltext
ÄHNLICHE DOKUMENTE
Abgabe:Bis 6.5.13 ins Postfach Ihrer Tutorin/ Ihres Tutors Besprechung: KW
(20%=10%+10%) F¨ur die folgenden Aufgaben d¨urfen Sie alle Funktionen verwenden, die bereits in der Vorlesung oder in der ¨ Ubung als primitiv-rekursiv nachgewiesen wur- den. Zeigen
Theoretische Informatik 2 Ungewertete Aufgaben, Blatt 6. Besprechung:
Abgabe: Ins Postfach Ihres Tutors bis Montag, den 14.12., 24 Uhr Besprechung: In Ihrer ¨ Ubung in KW 51?. FRAGE: Ist jedes Wort aus L ein Suffix
Punkt 2 kann Schwierigkeiten bereiten, wenn einem ableitbaren Aus- druck eine Semantik (etwa ein Wert) zugeordnet werden soll2. Eindeutigkeit der Termsyntax geht verloren, wenn
– ¨ Uberf¨uhrungsfunktion δ:Q×(Σ∪{ǫ})×Γ → Q×Γ ∗ muß eindeutig sein – Gibt es f¨ur PDAs immer ¨aquivalente
Du kannst erkennen, ob ein Wort v Pr¨ afix, Infix oder Suffix eines Wortes w ist.. Du kannst definieren, was eine (formale)
Diese Funktion im Z¨ahler beschreibt eine nach oben ge¨offnete Parabel mit den zwei Nullstellen 1 und 4... VI.1 und P-VI.1 Untersuchen Sie, ob das Minimum, Maximum,